/.-Jで「Wolframが提唱したTuring機械がuniversalだと証明された．これは最小のUTMが見つかったことを意味する」との記事を読んで，これは証明を眺めてみたいと強く思ったのだが，証明の印刷を忘れたまま帰ってきてもう一度/.-Jを見たら，なんと証明に初歩的…

今日も工作．めんどくさーーめんどくさーー 今日は色素レーザーがlabに届いた．4 Wらしいが，パルス幅10 ns，繰り返しレート10 Hzのパルス発振なので1パルス当たり4 / 10 / 1E-8 = 40 MW，何ともパワフルで恐れ入った．よく「SF映画の撃ち合いシーンでレーザ…