orange
さんがブースト
アナホリフクロウに魅せられて〜草原の復活物語〜 | 地球ドラマチック | NHK https://www.web.nhk/tv/an/dramatic/pl/series-tep-QJ6V6KJ3VZ/ep/ZY4PZRMG36
これおもしろかった＞＜
しかも、アナホリフクロウ復活のために使われてる場所が、トラック車載実況で馴染みがある場所でしかも高速道路(I-84)に面した広大な土地だった＞＜
(ただの草原だと思ってた＞＜；)
Business InsiderにIowa 80の観光記事が！＞＜
I Visited the 'World's Largest Truck Stop.' It's More Than a Trucker's Disney World - Business Insider
https://www.businessinsider.com/worlds-largest-truck-stop-iowa-80-food-truckers-sightseeing-2025-12
orange
さんがブースト
X+3:20 (200秒) ごろから2段の燃料漏れ？は始まっていた様子
ふつうに1段燃焼中で2段関係ないし、何かイベントが発生した時と同期してもいないので、なんとなく「荷重か振動に耐えかねて弱いところからメゲた」って感じがするけれど…
Dafnyで部分範囲型を宣言したら、C#のどういうコードにトランスパイルされるんだろう？＞＜ と思って
"""
type NumMonth = x: int | 1 <= x <= 12 witness 1
"""
とだけ書いたコードでやってみたら、5708行、242.97KiBのC# のコードが生成されて、宇宙猫みたいになった＞＜；
orange
さんがブースト
orange
さんがブースト
ドイツのトリ𖥽
Dafnyをほんのちょっとだけいじってみたけど、なんか思ってたのとちょっと違う・・・＞＜
SPARK/Adaを比喩でロケット屋さんの言語に例えるなら、Dafnyは天文学者さん向けの言語っぽさ感＞＜；
orange
さんがブースト
@[email protected] JAXA はいつも、打上げるロケットの最初のプレスリリースの時に、計画書をつけてます。今回の H3 8号機の場合、ここにあります。
https://www.jaxa.jp/press/2025/11/20251112-1_j.html
orange
さんがブースト
オレンジが何年も何度も参考として貼りまくってるJAXAの「CRMスキル行動指標の開発」( https://jaxa.repo.nii.ac.jp/records/42978 )、いまカウンタ見たら2134ってなってて「マジで？＞＜；」ってなった＞＜；
日本語の研究資料でオープンアクセスで誰でも読めて、日本の各航空会社の訓練に関わってるCRM関連担当者が集って研究した資料なのに・・・＞＜
最後どんな軌道になってたかわかんないけど、ちゃんと燃え尽きるの？＞＜ かなり浅い感じになる？＞＜
それだと想定外の変な場所に落ちる可能性もある・・・？＞＜
orange
さんがブースト
orange
さんがブースト
orange
さんがブースト
一緒に飛行計画載せとけやというのはいつも思う…
オレンジが「少しはArianeを見倣えやゴルァ＞＜＃ 」ってブチキレてた頃から、JAXAも三菱も情報公開の必要性への認識がほとんど変わってないっぽさ＞＜
オレンジが打ち上げを大量に見まくってた頃から改善されてないのかも？＞＜
JAXAのサイト打ち上げますって情報だけで軌道とか何も書いてないっぽいの酷くない？＞＜
- ＠orange_in_space
2017年 4月に登録
