新しいものを表示

!?><

mineoが『夜間フリー』を発表、一部ネット民が「テレホーダイ」ネタで盛り上がる | スラド モバイル - mobile.srad.jp/story/23/02/21/

なんでこれをすぐに発表できなかったのか?><;
テレメトリの設計か組織のどっちかがおかしいと思うよ><;

"...打ち上げの6・3秒前に第1段ロケットの主エンジンLE9に点火したが、その直後、第1段ロケット全体の制御システムが第1段主エンジン用の電源供給系統に異常を検知。"

H3ロケット打ち上げ中止、電気的不具合が原因か JAXA分析 - 産経ニュース - sankei.com/article/20230222-SK

H3の話これ?><
H3ロケット打ち上げ中止、電気的不具合が原因か JAXA分析 - 産経ニュース - sankei.com/article/20230222-SK

声をあげるのが遅いのはそれはそうだけど、独禁法/反トラスト法関連の物事で「ユーザー(消費者)が選んだからだ!」って主張って、0点では感><

AndroidとiOSを「独占」とする公取委の指摘は正しいか--サイドローディング解禁に潜むリスク - CNET Japan - japan.cnet.com/article/3520019

「タモリ倶楽部」3月末で終了 放送40年「役割は十分に果たした」 さらば空耳アワー、マニアック企画… - ライブドアニュース - news.livedoor.com/article/deta

何のために作ってるかというと、
5bitの符号あり整数のxと、yと、3bitの符号無し整数のa、と51bitの符号あり整数のbで64bitに詰められてるバイナリ形式
みたいなややこしいのの読み書きするやつを手っ取り早く書く時に手抜きするために使うやつ><

スレッドを表示

一応動く所までできた気がするからgistに貼った><

一応ちゃんと動く気がする、2~63bitの任意の長さのbit長のSigned/Unsignedの整数になる可変的な整数型っぽいもの>< - gist.github.com/orange-in-spac

2~63bitの任意の長さのbit長のSigned/Unsignedの整数になる可変的な整数型作れたっぽい><

そもそもCIL(MSIL)にもx86にもべき乗って命令無いっぽい・・・?><;(知らんかった><;(てっきり用意されてて「それ使った方が速くなるんじゃないの?><;」って思ってた><;))

なんで、C# って整数のべき乗が標準で無いの?><(C++ も無いっぽい?><)
(整数のべき乗なんて2^x以外あんまり使わないから?><;)

こういう時どうするんだろと思ってググッた機能が新しいバージョンにしかなかった・・・><

checked 演算子オーバーロード - C# 11.0 の新機能 - C# によるプログラミング入門 | ++C++; // 未確認飛行 C - ufcpp.net/study/csharp/cheatsh

orange さんがブースト

まあ本当に言語側でガッツリやってしまうと、まず Liquid Haskell とか Agda みたいなの書ける人本当に一握りだろうし、書き手を確保できず衰退してオワだろうなという雑な感想はある

スレッドを表示
orange さんがブースト

まあ篩型 (refinement types) をサポートせよという話であればそれはそれで動機としては理解できるが、あれコンパイル通すのクソ大変だし本質的でない補足が無限に必要になるかもしれないし、場合によっちゃ型検査が多項式時間で決定不能になるリスクとかも受け入れる必要ががが

スレッドを表示
orange さんがブースト

たとえば DayOfMonth 型とか Month 型とかを用意するにしてもどこかの段階ではプリミティブな整数からの変換が必要なわけで、コンパイル時に既知ならマクロが使えることはあるし実行時に得られる値ならいずれにせよ fallible な変換は不可避

スレッドを表示
orange さんがブースト

そもそもこれは実行時に使うもなので、コンパイル時に云々という話であれば例えば docs.rs/time/latest/time/macro とかがある

これだとあんまり便利にならない?><;

C# Pascal部分範囲型そのままでは無理でも例えば
enum Month_Number : int [1..12];
って宣言すると
enum Month_Number : int
{ 1,2,3,//以下略>< 現在はエラー>< この書き方自体はオレンジ案実装後もエラー><
の糖衣構文になってて、
Month_Number.1
になるやつくらい出来ないのかな?><

長文>< 

契約プログラミングを使えばほぼ同じことができるし、2月31日とか閏年とかまで静的に検査させるためには契約プログラミングじゃないと無理だけど、契約プログラミングの静的検査ってめちゃくちゃ処理遅いし(部分範囲型が使えるDelphiの静的型検査&コンパイルはそんじょそこらのインタプリタの起動時間より速い)、例えば月を表すために1~12だけ受け入れたい時に列挙型使うのも微妙だしそれが1~31日とかだと悪夢><

古いものを表示
:realtek:

思考の /dev/null