はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ miri

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 3 / 3件)
 

ジェイムズ・ウェッブ宇宙望遠鏡がかつてないほど馬頭星雲に迫った画像の撮影に成功

2024/04/30 このエントリーをはてなブックマークに追加 5 users Instapaper Pocket Tweet Facebook Share Evernote Clip 馬頭星雲 ジェイムズ・ウェッブ宇宙望遠鏡 ESA 暗黒星雲

地球からおよそ1300光年離れた宇宙には、馬頭星雲と呼ばれる馬の頭に似た形の暗黒星雲が広がっています。新たに、ジェイムズ・ウェッブ宇宙望遠鏡に搭載された中赤外線観測装置(MIRI)と近赤外線カメラ(NIRCam)が、馬頭星雲をかつてないほど鮮明に捉えることに成功しました。 ESA - Webb captures iconic Horsehead Nebul... 続きを読む

ジェイムズ・ウェッブ宇宙望遠鏡が撮影した「車輪銀河」の画像が公開された

2022/08/04 このエントリーをはてなブックマークに追加 7 users Instapaper Pocket Tweet Facebook Share Evernote Clip ジェイムズ・ウェッブ宇宙望遠鏡 ESO ESA credit

【▲ ジェイムズ・ウェッブ宇宙望遠鏡が撮影した「車輪銀河」。近赤外線カメラ「NIRCam」と中間赤外線装置「MIRI」を使って取得された画像をもとに作成(Credit: NASA, ESA, CSA, STScI)】 こちらは、南天の「ちょうこくしつ座」の方向約5億光年先にある「車輪銀河」(Cartwheel galaxy、ESO 350-40)と2つの伴銀河(衛... 続きを読む

Rustのコードチェックを強力にする3つのツール | κeenのHappy Hacκing Blog

2022/06/19 このエントリーをはてなブックマークに追加 24 users Instapaper Pocket Tweet Facebook Share Evernote Clip een rust Mirai 行儀 ツール

κeenです。 Rustaceanのみなさんは普段書いてるRustのコードを検証するのに cargo check や cargo test などのツールを使っているかと思いますが、それらを強力にするツールの miri 、 MIRAI 、 kani をそれぞれ紹介します。 Rustにはいくつかコードの正しさや行儀のよさを検査する方法がありますね。 cargo check や ca... 続きを読む

 
(1 - 3 / 3件)