1890年代末期に陰極線が電子であることをクルックスとJJトムソンが発見してからブラウン管ができて1935年にドイツがテレビ放送を始めるまで約35年。ベル研究所で1940年代末期半導体トランジスタが発見されてから集積回路が商品化されるまでおよそ10年。1964年米国で最初の液晶表示装置が考案されてから2007年iPhoneが商品化されるまで33年。iPhoneは20世紀の商品ではないが、電子の発見 . . . 本文を読む
155円安23000台から27000円台になるとは３月時点では考えられなかった。コロナ武漢肺炎さえなければ年率30%行っていたかも。1989年末に似てきた。年明けはナイヤガラかな。今年知った尊敬する二人 . . . 本文を読む
マクロな量子多体系が熱平衡化するか、という問題が、一般的な形では決定不能命題であることを証明しました。優秀な理論家が日本にいるんだ。→論文言ってることがイントロからほとんど理解できない。まず決定不能とは決定可能集合の概念と同様、決定可能な理論や論理体系の定義は、「実効的方法 (effective method)」や「計算可能関数 (computable function)」によって与えら . . . 本文を読む
