!?><
mineoが『夜間フリー』を発表、一部ネット民が「テレホーダイ」ネタで盛り上がる | スラド モバイル - https://mobile.srad.jp/story/23/02/21/1321203/
なんでこれをすぐに発表できなかったのか?><;
テレメトリの設計か組織のどっちかがおかしいと思うよ><;
"...打ち上げの6・3秒前に第1段ロケットの主エンジンLE9に点火したが、その直後、第1段ロケット全体の制御システムが第1段主エンジン用の電源供給系統に異常を検知。"
H3ロケット打ち上げ中止、電気的不具合が原因か JAXA分析 - 産経ニュース - https://www.sankei.com/article/20230222-SKRRURXVX5KV3GLZFH33Q5YSEU/
H3の話これ?><
H3ロケット打ち上げ中止、電気的不具合が原因か JAXA分析 - 産経ニュース - https://www.sankei.com/article/20230222-SKRRURXVX5KV3GLZFH33Q5YSEU/
声をあげるのが遅いのはそれはそうだけど、独禁法/反トラスト法関連の物事で「ユーザー(消費者)が選んだからだ!」って主張って、0点では感><
AndroidとiOSを「独占」とする公取委の指摘は正しいか--サイドローディング解禁に潜むリスク - CNET Japan - https://japan.cnet.com/article/35200196/
「タモリ倶楽部」3月末で終了 放送40年「役割は十分に果たした」 さらば空耳アワー、マニアック企画… - ライブドアニュース - https://news.livedoor.com/article/detail/23753807/
何のために作ってるかというと、
5bitの符号あり整数のxと、yと、3bitの符号無し整数のa、と51bitの符号あり整数のbで64bitに詰められてるバイナリ形式
みたいなややこしいのの読み書きするやつを手っ取り早く書く時に手抜きするために使うやつ><
一応動く所までできた気がするからgistに貼った><
一応ちゃんと動く気がする、2~63bitの任意の長さのbit長のSigned/Unsignedの整数になる可変的な整数型っぽいもの>< - https://gist.github.com/orange-in-space/e0e824e5ae79d3196df9b20a174d5c9a
こういう時どうするんだろと思ってググッた機能が新しいバージョンにしかなかった・・・><
checked 演算子オーバーロード - C# 11.0 の新機能 - C# によるプログラミング入門 | ++C++; // 未確認飛行 C - https://ufcpp.net/study/csharp/cheatsheet/ap_ver11/#checked-operator-overload
まあ本当に言語側でガッツリやってしまうと、まず Liquid Haskell とか Agda みたいなの書ける人本当に一握りだろうし、書き手を確保できず衰退してオワだろうなという雑な感想はある
まあ篩型 (refinement types) をサポートせよという話であればそれはそれで動機としては理解できるが、あれコンパイル通すのクソ大変だし本質的でない補足が無限に必要になるかもしれないし、場合によっちゃ型検査が多項式時間で決定不能になるリスクとかも受け入れる必要ががが
たとえば DayOfMonth 型とか Month 型とかを用意するにしてもどこかの段階ではプリミティブな整数からの変換が必要なわけで、コンパイル時に既知ならマクロが使えることはあるし実行時に得られる値ならいずれにせよ fallible な変換は不可避
そもそもこれは実行時に使うもなので、コンパイル時に云々という話であれば例えば https://docs.rs/time/latest/time/macros/macro.datetime.html とかがある