最近ローカルLLMがアツいらしい
最近、ローカルLLMがアツくなっているという話をtwitterでチラホラ見かける。 ローカルLLMって何じゃ？というと、オープンに公開されているモデルのウエイトをDLしてきて手元のPC上で推論させる事である。 オープンなAIモデルとは逆の存在として、モデルがDLできないクローズなAIモデルもある。 OpenAIやAnthropicのような最先端AI企業のクローズなAIモデルに比べて、オープンに公開されているオープンなAIモデルの性能は今でもかなり後れを取っている。 だから去年の間はあくまでAIの本命はChatGPTのようなクローズモデルであって、オープンなAIモデルなんて眼中にありませんみたいな風潮が無くはなかった。だが最近は風向きが少々変わってきている。 GPTのAPI高い問題 ＆ OpenAIがAIベンチャー皆殺しにしてしまう問題 まず「結局GPTのAPIを叩いてサービス運営して成功し
Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during compilation process.
Unix 哲学的に考えれば、行を並び替える sort コマンドと重複行を取り除く uniq コマンドは別のコマンドであるべきなように思えます。しかし sort コマンドには -u オプションとして uniq コマンドに相当する機能が組み込まれています。なぜそうなっている（そうなってしまった）のかを「ソフトウェア作法（さくほう）」を参照しながらこの記事で明らかにしたいと思います。 関連記事 Unix哲学「一つのことをうまくやる」は単機能のコマンドを作ることではない 「誰」がuniq機能をsortコマンドに組み込んだ！？ 熱烈的な Unix 哲学の信者は「どうせ Unix 哲学を理解しない GNU が便利だと思ってオプションを追加したのだろう」と考えるかもしれません。しかし uniq 機能が組み込まれたのは Version 7 Unix、つまり Unix の開発者が組み込んだのです。これは 1
はじめに WSL2（Windows Subsystem for Linux 2）は、Microsoft Windows上でLinuxカーネルを直接実行できるようにする機能です。 この記事ではWSL2環境にDockerを導入しGPUを用いた機械学習環境を構築する手順を紹介します。 構築イメージは以下の図の通りです。NvidiaGPUを搭載したマシンにWSL2環境を構築します。Dockerを用いてコンテナを用意し、CUDAは各コンテナ内のCUDA Toolkitを用いて利用します。 今回開発するPCのスペックは以下の通りです。 Windows 11 Windows version: 22H2 GPU：NVIDIA Geforce RTX 3060 12GB 設定 1. WSL2を有効化 デフォルトではWSL2環境が無効化されている可能性があるので、始めに有効化しておきましょう。 「コントロール
「情シス担当者がいなくなってサーバーやネットワーク機器を管理する人がいないので皆さんで管理しましょう」→斬新すぎる管理方法だった
Shadowhat @shadowhat HAGIWARA Takahiro (仮想化プリセエンジニア) 主にNutanix、最近M365、時々Linux、稀にネットワークな日々 発言は個人の見解であり、所属する企業の見解や意見を代表するものではありません。 Nutanix Technology Champion 2018-2024 infraapp.blogspot.jp Shadowhat @shadowhat 「情シス担当者がいなくなって社内のサーバーやネットワーク機器を管理する人がいないので皆さんで管理しましょう。」 といって、社内全員にAdministrator権限のユーザ名とのパスワードを共有する斬新な管理方法を聞いた。 なお、SIでソフトウェア開発をやっている会社さんだそうで。。。 2024-05-08 09:04:29
止まらないLinuxシステムを構築する!高信頼性クラスタ入門 クラウド、オンプレどちらの環境でも障害は不意にやってきます。 そんなときもサービスを継続提供するためのHAクラスタ。 今回は高信頼性を実現するクラスタの考え方の基本から、具体的にLinuxクラスタを設計/構築するコツについて解説します! こんな方にオススメ ・Linux初心者の方 ・Linuxが好きな方 ・高信頼性、高可用性クラスタに興味ある方
Windows 11 23H2 以降、エクスプローラーが 7z、tar などの解凍に対応しました。さらに、Build 25992 では圧縮も可能となったようです。7-zip を追加インストールしなくてもこれらのアーカイブを取り扱えるのは嬉しいですよね。 1 一方で、PowerShell の Expand-Archive コマンドレットは拡張されておらず、ZIP 形式の解凍しかできません。 GAC Version Location --- ------- -------- False v4.0.30319 C:\Program Files\WindowsApps\Microsoft.PowerShell_7.… OperationStopped: File 'E:\test\archive.7z' does not appear to be a valid zip archive. せっかく
コンテナイメージなのにブート可能な新技術による「Image mode for Red Hat Enterprise Linux」、Red Hatが発表。レジストリなどのコンテナ関連ツールがそのまま利用可能
コンテナイメージなのにブート可能な新技術による「Image mode for Red Hat Enterprise Linux」、Red Hatが発表。レジストリなどのコンテナ関連ツールがそのまま利用可能 Dockerコンテナで使われるコンテナイメージは、そもそもOSのカーネルなどが含まれていないためそれ単体で実行することはできず、コンテナに対応したOSの上にデプロイすることで実行されます。 このコンテナイメージのフォーマットは業界標準の「OCIコンテナ」（Open Container Initiativeコンテナ）として標準化されていますが、このOCIコンテナのフォーマットを守りつつ、ベアメタルサーバ上でブート可能な「ブータブルコンテナイメージ」の開発が進められています。 ブータブルコンテナイメージとは？ ブータブルコンテナイメージは、カーネルやデーモンなどの単独で実行可能なOSとしての
Docker、Linux、AWSひとつでも勉強しようと思ったら - itstaffing エンジニアスタイル
IT業界にいると「勉強したほうがいい」「エンジニアには必須だ」などと言われることも多い「Docker、Linux、AWS」などのサーバーに関するトピック。 これらは、一つ勉強しようとすると必ず他の技術もついてくる、互いに切っても切り離せない技術です。そのためか、学びはじめのハードルを高く感じてしまうことも。今回はサーバー関連の入門記事をまとめてご紹介します。易しい解説で「サーバーってこんな感じ」と掴むことからはじめてみてください。 こんな方におすすめ □ インフラ系に興味のある方 □ サーバー関連で何から始めていいかわからない方 □ Docker、Linux、AWSのどれかを始めたけれど、苦戦している方 Pickup 1：インフラ系きほんのき、「サーバー」をゆるく解説 この記事でわかること ・サーバーは何をするもの？ ・ウェブサーバー、メールサーバー、データベースサーバー違いは？ 2：サー
Windows 11、デフォルトでTarファイルの作成が可能に。これでWindowsはTarファイルの解凍と作成の両方に対応へ
Windows 11、デフォルトでTarファイルの作成が可能に。これでWindowsはTarファイルの解凍と作成の両方に対応へ 次のWindows 11の大型アップデートで、Tarファイルの作成にデフォルトで対応予定であることが明らかになりました。 現在開発中のWindows 11β版で、ファイルエクスプローラーのコンテキストメニューにTarファイルに圧縮するメニューが追加されると、同社のブログ「Announcing Windows 11 Insider Preview Build 22635.3640 (Beta Channel)」で発表されました。 Tarファイルは複数のファイルを1つにまとめることができるファイル形式です。Tarという名称は磁気テープにデータを保存する「テープアーカイブ」（Tape Archive）から由来することからも分かるとおり、古くからUNIXでよく使われてきま
「apt」は言わずとしれたUbuntuの基本を担うパッケージ管理システムです。今回はUbuntu 24.04 LTSに搭載された「apt 2.8.0」に関して、前回のLTSである22.04の「apt 2.4.12」以降に実装されたり、さらには古いLTSにもバックポートされたりした機能について紹介しましょう。 ちなみにaptの機能紹介は本連載でも何度か行っています。より古いバージョンからアップグレードする場合は、そちらも参照してください。 第327回「aptコマンドを使ってみよう」 第675回「apt-keyはなぜ廃止予定となったのか」 第676回「aptコマンドの最新機能あれこれ」 第677回「aptで使うsources.listのオプションいろいろ」 これらの記事では公開当時最新の2.3.6までしか紹介できていなかったので、2.3.6から2.4.12までの機能についてもまとめて紹介する予
For over twenty years, the Mac was the default at 37signals. For designers, programmers, support, and everyone else. That mono culture had some clear advantages, like being able to run Kandji and macOS-specific setup scripts. But it certainly also had its disadvantages, like dealing with Apple's awful reliability years, and being cut off from seeing how half our Basecamp customer base saw by defau
Ubuntu Weekly Recipe 第814回1500円以下で買えるRaspberry Pi PicoサイズのRISC-VボードなMilk-V DuoでUbuntuを動かす Ubuntu 24.04 LTSではRISC-Vボードのひとつである「Milk-V Mars」をサポートしました。これは中国のRISC-V製品のベンダーであるMilk-Vが作っているRaspberry Piライクなシングルボードコンピューターです[1]。ただしこのMarsはなかなか入手できない状況が続いています。Milk-Vでは他にも64コア搭載されたPCライクなPioneer、10GbEのネットワークスイッチとして使えるVegaなどもリリースしています。今回はRaspberry Pi Picoサイズの小さなボードで、比較的安価で入手性が高いMilk-V Duoシリーズに、Ubuntuをインストールしてみましょう
みなさん、こんにちは。えんピぐらしです。 Linuxでの構築経験がある方を対象としていますので、前回よりも少しレベルが高くなりますが、今回はSELinuxという機能について見ていきたいと思います。 Linuxの構築経験がある方は分かると思いますが、SELinuxは必ずと言っていいほど、「無効」にします。デフォルトで有効になっている機能なのですが、わざわざ無効にします。私は今までSELinuxを有効にしているシステムを見たことがありません。（周りにもいませんでした） 今回は、そんなSELinuxについてのお話です。 SELinuxとは？ そもそもSELinuxとは何なのでしょうか。 Wikipediaでは、こう書かれています。 “SELinux（Security-Enhanced Linux : エスイーリナックス）は、アメリカ国家安全保障局がGPL下で提供しているLinuxのカーネルに強制
スイッチサイエンスが、LinuxベースのIoT開発キット「M5Stack CoreMP135」を同社オンラインショップで発売した。 同製品は、ファクトリーオートメーションや工業用IoTゲートウェイ、スマートホーム、マルチメディアデバイスといった用途を想定している。 同製品のマイクロプロセッサーには、最高1GHzで動作するArm Cortex-A7コアの「STM32MP135D」（STマイクロエレクトロニクス製）を採用している。RAM容量は512MBで、ストレージはマイクロSDカード（OS書き込み済みのマイクロSDカード1枚付属）。320×240ピクセルの2インチLCDを搭載している。 同製品はLinuxに対応するが、Linuxディストリビューション「Debian」上で動作する仕組みになっている。 イーサネット対応の機能としては、RJ-45コネクター（トランシーバIC：RTL8211F（1
Motivation Introduction User input strace Printing non-printable stty raw -echo -isig UTF-8 Conclusion Motivation This blog series explains how modern terminals and command-line tools work. The primary goal here is to learn by experimenting. I’ll provide Linux tools to debug every component mentioned in the discussion. Our focus is to discover how things work. For the explanation of why things wor
Jack Wallen （Special to ZDNET.com） 翻訳校正： 川村インターナショナル 2024-05-08 07:30 本記事の要点 「Dynebolic」は10年の休止期間を経て復活し、無料でダウンロードして使用できるようになった。 マルチメディアの制作に必要なものがすべて備わっている。ライブインスタンスとして動作するため、ポータブルであり、デフォルトのOSに一切変更を加えない。 WYSIWYGなので、他のアプリケーションをインストールする必要がない。 特定のタスク用に開発された「Linux」ディストリビューションは数多くある。デスクトップ、サーバー、ファイアウォール、ルーター、ゲーム、コンテナー、ファイルサーバー、フォレンジック、侵入テスト用などのディストリビューションがあるほか、クリエーターの作業を支援するために特別に開発されたディストリビューションもある。 その
Linux Daily Topics SUIDからの脱却を ―systemdクリエーター、sudoオルタナティブな“run0”コマンドをsystemd 256で実装へ UbuntuやFedoraなどメジャーなLinuxディストリビューションのほとんどがデフォルトで実装しているinitシステム「systemd」は現在、新バージョン「systemd 256」に向けて開発が進められている。4月25日には最初のリリース候補版「systemd 256-rc1」が公開された。 systemd v256-rc1 -GitHub 数多くの新機能や追加機能が盛り込まれているが、その中でもとくに注目されるのがsudoコマンドを代替するという「run0」である。実際には新しいツールではなく、以前からある「systemd-run」を「run0」というシンボリックリンクで呼び出し、sudoクローンとして機能
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます 本記事の要点 「RebornOS」は「Arch Linux」ベースの美しくユーザーフレンドリーなディストリビューション。現在無料で入手してインストールできる。 ほぼすべてのタイプのユーザーに適したデスクトップ環境を提供（インストール時に選択）。 プリインストールされたアプリストアが正常に機能せず、別のストアへの交換が必要。 「RebornOS」を構築した開発者、アーティスト、その他の個人で構成されるチームには、ある重要な目標があった。それは、「Arch Linux」を可能な限りユーザーフレンドリーにすることだ。 その目標は達成されたと断言していい。RebornOSによってArch Linuxが使いやすくなり、適切なデスクトップと組み合わ
Jack Wallen （Special to ZDNET.com） 翻訳校正： 編集部 2024-05-09 07:45 「Linux」の最大の特徴は、選択肢の豊富さだ。筆者がLinuxを最初に使い始めた頃から、ずっとそうである。「Windows」を使用していた人なら、おそらく、ウェブブラウザーやオフィススイートなどのアプリケーションを自分の好きなものに変更できることに慣れているはずだ。Windowsで不可能なのは、デスクトップ環境を変更することだ。これは「macOS」にも当てはまる。 しかし、Linuxでは、デスクトップ環境を含むあらゆるものを常に選択できる。筆者は、1つのディストリビューションに複数のデスクトップ環境をインストールし、その中から好きなものを選んで使用していたこともある。利用可能なデスクトップ環境は、「GNOME」「KDE Plasma」「Pantheon」「Enlig
macOSとWindows、Linuxなどのクロスプラットフォームに対応したオープンソースのデュアルパネル・ファイルマネージャー「muCommander」にApple Silicon用のAArch64 Buildが追加。
macOSとWindows、Linuxのクロスプラットフォームに対応したオープンソースのデュアルパネル・ファイルマネージャー「muCommander」にApple Silicon用のAarch64 Buildが追加されています。詳細は以下から。 muCommanderはRed Hatでエンジニアリングマネージャーを務めるArik Hadasさんらがオープンソース(GPL)で開発しているファイルマネージャーで、JavaをサポートしているmacOSやWindows、Linuxなどクロスプラットフォームで利用することができますが、このmuCommanderが最新のバージョン1.4.0でApple Silicon Mac用のAArch64 Buildを追加しています。 add support for macOS aarch64 by @ahadas in #1138 build dmg for a
Linux Daily Topics Linux 6.10‐rc1リリース、RustやMilk-V MarsなどRISC-Vサポートが拡大 Linus Torvaldsは5月26日（米国時間）、次期Linuxカーネル「Linux 6.10」の最初のリリース候補版となる「Linux 6.10-rc1」を公開した。Linusは「通常サイズのカーネルリリースに見えるが、少し小さいかもしれない。（Linux 6.10には）新しいファイルシステムはなく、xfsのオンライン修正により、bcachefsの修正はもはや最大のファイルシステム変更ではない」とコメントしている。 Linux 6.10-rc1 -Linus Torvalds Linux 6.10では多くのアップデートが予定されているが、その中でも注目されるのがRISC-Vに関連したサポートの拡張だ。5月22日付けで行われたマージでは、
The economic advantages of portability are very great. In many segments of the computer industry, the dominant cost is development and maintenance of software. Dennis Ritchie and Stephen Johnson 1978 … many insist that C is the programming language and that it will last forever. Byte Magazine 1983 The August 1983 issue of Byte Magazine devoted its cover, and a large part of its editorial content,
Opening windows in linux with sockets, bare hands and 200 lines of C | Hereket
Opening windows in linux with sockets, bare hands and 200 lines of C Intro In this post I want to create a single file C file program to open a windows inside Linux without using xlib or any similar libraries. The idea is to explore X11 protocol and see how it is used to interact with X server to create windows. Before I had strong association that X11 was some magic thing to manipulate windows an
GitHub - leukipp/cortile: Linux auto tiling manager with hot corner support for Openbox, Fluxbox, IceWM, Xfwm, KWin, Marco, Muffin, Mutter and other EWMH compliant window managers using the X11 window system. Therefore, this project provides dynamic tilin
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Intro to TTE ChangeBlog How to install & use TTE Effects Showroom Effects Showroom Library Cookbook Reference Effects Showroom The effects shown below represent the built-in library of effects and their default configuration. Beams Creates beams which travel over the canvas illuminating the characters. Reference Config Beams Command Line Arguments --beam-row-symbols (ASCII/UTF-8 character) [(ASCII
Screenshot of Zed — but where are the red/yellow/green window controls? Does anything stick out? Yes, exactly, it's a screenshot of Zed running on Linux! Wait, what? Zed on Linux? Is it released yet? No, it's not, but it's taking shape, fast. At the end of January we open-sourced Zed and had zero Linux support. Now, three months later, you can compile & run Zed on Linux and actually use it. And I
「GNOME」デスクトップの使いやすさを高める小技5選
Jack Wallen （Special to ZDNET.com） 翻訳校正： 編集部 2024-05-23 07:45 「GNOME」デスクトップが目指しているのは、可能な限りクリーンでシンプルな環境をユーザーに提供することだ。シンプルさを追求する中で、GNOMEのチームは複雑さや乱雑さを避けるために、ミニマリスト的なインターフェースを作り出した。ただし、デスクトップメニューやパネルなどの通常の要素が表示されないデスクトップに慣れていないユーザーの場合、別の環境からGNOMEに移行すると、混乱してしまうことがある。 だからといって、GNOMEの実用性がほかのデスクトップよりも低いわけではない。しかし、そうしたユーザーが自分の慣れ親しんだものと同じくらい使いやすくて、効率的なデスクトップを求めているのなら、微調整を施して、GNOMEの使いやすさを高めることが可能だ。 大規模な変更を加える
Superキーは、多くの場合はWindowsキーです。KPはキーボードのテンキー（KeyPadの略）を意味します。 つまり、テンキーがないとショートカットキーが使えません。筆者のようにテンキーがないキーボードを使用している場合にはショートカットキーを使用できず、不便さが募ります。 設定 ワークスペース ワークスペースの設定は、「設定」-「マルチタスク」にあります。縦に長いので図5と図6に分けます。「全般」が無効になっているのは、「Ubuntu Tiling Assistant」を使用しているからだと思われます。 図5 マルチタスクその1 図6 マルチタスクその2 原則としては、特に変更すべき設定はありません。デフォルトのまま使用するのがベストでしょう。 図6の「App Switching」について少し解説します。デフォルト、すなわち「Include apps from all
本記事は、TechFeed Experts Night#28 〜 コンテナ技術最前線のセッション書き起こし記事になります。 イベントページのタイムテーブルから、その他のセッションに関する記事もお読み頂けますので、一度アクセスしてみてください。 本セッションの登壇者 セッション動画 それではcgroup v2で何が変わったのかということで発表させてもらいます。この後に楽しい話がいっぱいあると思うので、私の話はさらっと聞いていただければと思っております。 私、加藤と申します。SNSではTenForwardという名前を使っていて、コンテナ技術を趣味でいろいろ調べています。仕事の方はセキュリティをやっております。
~sircmpwn/bunnix - A simple monolithic Unix-ish kernel - sourcehut git
#Bunnix A simple monolithic Unix-like operating system. #Bunnix cross toolchain A GNU toolchain configured for an x86_64-bunnix target is required to compile Bunnix. Fetch the binutils and gcc trees from here: binutils (bunnix branch) gcc (bunnix branch) You must configure these with the Bunnix sysroot you will be using for your build. The build system places this at $srcdir/target/root/ by defaul
Linux Daily Topics Linux 6.9リリース ―Intel FREDのマージ、ARM64でのRustサポートなど Linus Torvaldsは2024年5月12日（米国時間）、「Linux 6.9」のリリースをアナウンスした。開発期間は約2ヵ月、7本のリリース候補（RC）版を経ての一般提供開始となる。Linux 6.9のリリースにあたりLinusは「全体的にかなり正常に感じられるリリース」とコメントしており、多くの改善が実施された安定したカーネルに仕上がったことがうかがえる。 Linux 6.9 -Linus Torvalds Linux 6.9のおもなアップデートは以下の通り。 x86プロセッサにおけるイベント配信（IDT）の代替技術で、特権レベル間の移行時間を短縮し、ソフトウェアの堅牢性を高めるフレームワーク「Intel FRED」のメインラインへのマー
I needed a bit of a break from “real work” recently, so I started a new programming project that was low-stakes and purely recreational. On April 21st, I set out to see how much of a Unix-like operating system for x86_64 targets that I could put together in about a month. The result is Bunnix. Not including days I didn’t work on Bunnix for one reason or another, I spent 27 days on this project. He
はじめに Red Hat Summit 2024でImage mode for Red Hat Enterprise Linuxが発表されました。Red Hatからいくつか関連情報が出ていますが、どれも抽象的でいまいちよくわかりません。 Red Hat Reimagines Enterprise Linux for the AI Future with Image Mode for Red Hat Enterprise Linux (プレスリリース) Experience the AI-ready OS with image mode for Red Hat Enterprise Linux (製品ページ) Image Mode for RHEL を使用したオペレーティングシステムの構築、デプロイ、管理 (製品ドキュメント) Publickeyでも記事が出ています。 コンテナイメージなのに
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amber The Programming Language
なぜsortコマンドはuniq機能を含んでいるのか？（Unix哲学はどこ行った！？） - Qiita
【2024年版】WSL2+Ubuntu24.04+Docker＋GPUでつくる機械学習環境
止まらないLinuxシステムを構築する_高信頼性クラスタ入門
Windows 11 では 7z をコマンドラインでも圧縮・解凍できるようになっていた - Qiita
【Hothotレビュー】 Intel N100でできないこともある。できることは「LattePanda Mu」で
【特集】 極秘指令「10万円以下でゲーミングPCを作れ」。Ubuntuを使えばコストも節約可能!?
【Ubuntu日和】 【第53回】Ubuntuでも遊べる無料ゲーム10選+1
第812回 aptの新機能あれこれ ［Ubuntu 24.04 LTS版］ | gihyo.jp
安全なVPNに繋いだつもりが筒抜け……「TunnelVision」脆弱性をJVNが警告／Windows、macOS、Linux、iOSなどに広く影響
Linux as the new developer default at 37signals
第814回 1500円以下で買えるRaspberry Pi PicoサイズのRISC-VボードなMilk-V DuoでUbuntuを動かす | gihyo.jp
rootを越えろ！スルーされがちなSELinuxの秘密-前編-
【Ubuntu日和】 【第52回】最新のUbuntuをRaspberry Pi 5で使おう！
Linuxベースの工業用IoT開発キット「M5Stack CoreMP135」発売｜fabcross
【Ubuntu日和】 【第51回】Ubuntu24.04 LTSの新インストーラを徹底解説
How terminal works. Part 1: Xterm, user input
ポータブルなLinuxディストロ「Dynebolic」--豊富なコンテンツ作成ツールを出先でも
SUIDからの脱却を ―systemdクリエーター、sudoオルタナティブな“run0”コマンドをsystemd 256で実装へ | gihyo.jp
「Arch Linux」ベースでもシンプルな使用感--デスクトップ環境が豊富な「RebornOS」
「Linux」のデスクトップ環境を変更するには--好みに合わせて選んで使用
Linux 6.10‐rc1リリース、RustやMilk-V MarsなどRISC-Vサポートが拡大 | gihyo.jp
Freedom and Portability
Effects Showroom - TerminalTextEffects Docs
Zed Decoded: Linux when? - Zed Blog
第813回 Ubuntu 24.04 LTSでのワークスペースとウィンドウのタイル化を極める | gihyo.jp
cgroup v2で何が変わったのか — TechFeed Experts Night#28 〜 コンテナ技術最前線
Linux 6.9リリース ―Intel FREDのマージ、ARM64でのRustサポートなど | gihyo.jp
Writing a Unix clone in about a month
Image mode for Red Hat Enterprise Linuxの中身を見てみる