25/12/31 16:13:15.85 /bo6pYIm.net
教えて
2:１３２人目の素数さん
25/12/31 17:09:02.72 kkckyp2e.net
リーン
3:１３２人目の素数さん
25/12/31 18:00:56.81 bzes8faD.net
タクティクが何してんのか全くわからん
4:１３２人目の素数さん
25/12/31 19:24:53.08 Uu7+V9TL.net
チーン
5:１３２人目の素数さん
25/12/31 21:20:11.75 YyQrmwcP.net
つ URLﾘﾝｸ(www.amazon.co.jp)
6:１３２人目の素数さん
26/01/01 15:40:39.23 6l379VoT.net
💩
7:unko
26/01/02 07:10:22.67 liQzTJv5.net
💩をcleanしよう。
8:１３２人目の素数さん
26/02/11 17:41:04.92 U3QT3rBs.net
>>5
この本を今読んでいます。
9:１３２人目の素数さん
26/02/11 19:37:31.19 U3QT3rBs.net
>>5
ひどい本ですね。
10:１３２人目の素数さん
26/02/11 22:04:49.72 wAJPLOxQ.net
leanをlearnする
11:１３２人目の素数さん
26/03/13 23:47:11.64 P/6qnb7z.net
出版社:ラムダノート、とあるがそこは、まともな本を出してるだろうか？
12:１３２人目の素数さん
26/04/01 18:15:43.72 1p114+if.net
国産の定理検証系が必要ではあるまいか？
単なるソフトだけではなくて、CPUやOSや
メモリシステム、ストレージなども含めて、
誤動作やエラーがあってはならない。
OSは極力シンプルに作らねばならない。
OS自身も正しいことを証明すべきだ。
自由に外部割り込みなどが入ると
OSの正しさの証明が困難になるから、
割り込みの機能無しか、プログラムの
特定箇所でだけ割り込みを受け付ける
命令を置くなど。CPUも命令の実行
順序をCPUが動的に入れ替えたりする
とCPUの動作の正しさの検証が難しく
なるから素朴なものにして、レジスター
無しか、あっても1個か2個にする。
CPUにはキャッシュなどは設けない。
メモリは高度のエラー訂正機能を設ける。
ストレージも多重化し、バッファーなど
も正しさの検証を困難にするから辞める。
仮想記憶はやらない。GUIは無しでCUI
だけにする。
CPUも三重化して、CPUに出入りする
データを常に比較して一致している
ことを確かめるハードにする。
違いが出たら、動作エラーを表示し
て停止。電源はノイズを外部から
拾わないように、大容量のバッテリー
で直流給電で動作させる。
外部から電磁ノイズで影響されない
ように、厚い銅板で囲まれた
部屋に置く。室内では照明には直流
点灯のLEDを置くほか、携帯電話の
持ち込みなどは禁止。温度を一定に
保つために、部屋の外から一定
温度、一定湿度の空気をパイプを
使って緩やかに流し入れ流し出す。
できれば宇宙線の影響を避ける
ために地下深くに設置する。
13:１３２人目の素数さん
26/04/06 05:12:38.68 Nc+CmwqS.net
国産である必要はない
ハイおしまい