大槻泉実
- いいね数 274,054/361,668
- フォロー 4,961 フォロワー 862 ツイート 26,558
- 現在地 Tachikawa, Tokyo
- Web https://about.i-otsuki.com/
- 自己紹介 ふぁぼがうるさいと思ったらブロックするのが吉。 Amazonのアソシエイトとして、適格販売により収入を得ています。
2022年11月30日(水)
えぼし先生（@tentaiebosi）のところのファーディスさんと、うちのこシュレディンガーちゃんうちよそ！ pic.twitter.com/TOi34YJ203
タグ：
posted at 23:31:15
風真いろは様（@kazamairohach）のオリジナル曲のイラストを描かせていただきました！
元気がもらえる曲で大好きです…！
1周年、本当におめでとうございます！✨✨
youtu.be/au57Syx7wuQ
#風真いろは1周年LIVE
#いろはにも絵を pic.twitter.com/Jav8L4LrDj
タグ： いろはにも絵を 風真いろは1周年LIVE
posted at 21:11:11
手順5905932: レジスタ3に即値0xAをストアする
手順5905933: レジスタ2と3を比較する
手順5905934: ゼロフラグレジスタが0の場合無条件ジャンプを・・・ twitter.com/fjs_kyousosama...
タグ：
posted at 16:39:34
@rero_carnelian その「糞詳細仕様書」を「基本仕様書」にしようとする段階で、何かが機械的に発見できるのではないかと期待している。
糞仕様書の特徴の一つに「要約できない」があると思っているので。
タグ：
posted at 15:58:23
@fjs_kyousosama 実際の応用を考えた場合、糞コードを設計書にコンパイルしようとしても、糞仕様書が自動生成されるだけな気がする。形式言語が自然言語に置き換わっただけだと、人間が理解しやすい抽象度にはならんから。ソース紛失したアセンブリから、人間が理解しやすいソース作れるか問題と似とる気がする。
タグ：
posted at 15:52:11
@rero_carnelian 多分設計書へとコンパイルする過程で、ある程度矛盾が機械的に炙り出せると思うんですよ。
機械が炙り出せなかった部分だけを人間が検討すればよくなるので作業量的には圧倒的に楽になると思うんだ。
タグ：
posted at 15:25:49
