新しいものを表示
orange さんがブースト
ぽな (C.Ponapalt)

超重要な情報
1段飛行中、つまり2段起動してない時から、2段水素タンクの圧が落ちてた様子
物理的な燃料漏れか…電装系よりは考えることがだいぶマシだな…

x.com/ohnuki_tsuyoshi/status/2

スレッドを表示
1
orange

Dafnyで部分範囲型を宣言したら、C#のどういうコードにトランスパイルされるんだろう？＞＜　と思って
"""
type NumMonth = x: int | 1 <= x <= 12 witness 1
"""
とだけ書いたコードでやってみたら、5708行、242.97KiBのC# のコードが生成されて、宇宙猫みたいになった＞＜；

0
orange さんがブースト
おさ

𖥽、へー。
バムン文字 - Wikipedia
ja.wikipedia.org/wiki/%E3%83%9

0
orange さんがブースト
のどごし25%UP

ドイツのトリ𖥽

0
orange

Dafnyをほんのちょっとだけいじってみたけど、なんか思ってたのとちょっと違う・・・＞＜
SPARK/Adaを比喩でロケット屋さんの言語に例えるなら、Dafnyは天文学者さん向けの言語っぽさ感＞＜；

0
orange さんがブースト
大'

@[email protected] JAXA はいつも、打上げるロケットの最初のプレスリリースの時に、計画書をつけてます。今回の H3 8号機の場合、ここにあります。
https://www.jaxa.jp/press/2025/11/20251112-1_j.html

0
orange

そのうち国内からのアクセスは1753らしいです・・・・・・・＞＜

スレッドを表示
0
orange

2663になってました＞＜

mstdn.nere9.help/@orange_in_sp

1
orange さんがブースト
orange

オレンジが何年も何度も参考として貼りまくってるJAXAの「CRMスキル行動指標の開発」( jaxa.repo.nii.ac.jp/records/42 )、いまカウンタ見たら2134ってなってて「マジで？＞＜；」ってなった＞＜；
日本語の研究資料でオープンアクセスで誰でも読めて、日本の各航空会社の訓練に関わってるCRM関連担当者が集って研究した資料なのに・・・＞＜

0
orange

最後どんな軌道になってたかわかんないけど、ちゃんと燃え尽きるの？＞＜　かなり浅い感じになる？＞＜

0
orange

それだと想定外の変な場所に落ちる可能性もある・・・？＞＜

0
orange さんがブースト
ぽな (C.Ponapalt)

わかってること
・SECO1が遅れた（燃焼時間延長）
・SELI2が遅れた
・SECO2がSELI2のすぐ後だった

スレッドを表示
1
orange さんがブースト
ぽな (C.Ponapalt)

とりあえず計画書のせときますね

jaxa.jp/press/2025/11/files/20

スレッドを表示
1
orange さんがブースト
ぽな (C.Ponapalt)

一緒に飛行計画載せとけやというのはいつも思う…

1
orange

オレンジが「少しはArianeを見倣えやゴルァ＞＜＃ 」ってブチキレてた頃から、JAXAも三菱も情報公開の必要性への認識がほとんど変わってないっぽさ＞＜

0
orange

オレンジが打ち上げを大量に見まくってた頃から改善されてないのかも？＞＜

0
orange

JAXAのサイト打ち上げますって情報だけで軌道とか何も書いてないっぽいの酷くない？＞＜

0
orange

JAXAって、打ち上げのパンフレットみたいなやつ(名前忘れた)って用意してないの？＞＜

1
orange

JAXA | H3ロケット8号機の打上げについて（第一報） jaxa.jp/press/2025/12/20251222

0
orange さんがブースト
ぽな (C.Ponapalt)

SEIG2に失敗した以上、LE-5Bになんか起きてる可能性があるので、リトライはやらないと思います。たぶん。

スレッドを表示
1
古いものを表示
:realtek:

思考の /dev/null

リソース

開発者向け

Mastodonとは？

mstdn.nere9.help

さらに…

v3.5.18 · プライバシーポリシー