Entries from 2020-10-01 to 1 month

また思いついてしまった.思いついてしまったら行動に移すしかない.思いついてしまったことを,行動に移さずにいられるような強靭な理性と合理性が備わっていたなら,いま,僕の人生はこんなふうになってはいない.そして,今の自分の人生を後悔こそすれ,…

主義,という訳語について.主義という訳語があまりしっくりこない場面が多い.この語が使用される場面は主に二つあって,ひとつは principle の訳語として,もう一つは -ism の訳語としてだ.かたや単純な一般名詞であり,かたや接尾辞,ということ.このへ…

なんで今更経済学か,と,聞かれたことはないけど,自分なりの考えはあって,というのは,別に経済に興味がないからだ.経済に興味がないし,なんとなれば,なるべくそんなものに興味を持ちたくもない.だから経済学を少しやっている. 経済に興味を持たない…

近頃あまり作文をしていない.なぜかというと,よくわからない.脳のリソースというのは無論有限なので,それらが全て数学と計算機に注がれている今,それらと同様か,あるいはそれ以上にコストの高い作文という行為を避けているのは,僕の脳味噌の防衛本能…

ポッカリと時間ができて,少し持て余してしまうかもな,という,自分らしくない危惧は,やはり自分らしくなかったようで,数学と計算機について調べるだけで,時間はあっという間に過ぎていく.せっかくの自由時間,思いっきり好きな勉強ができて嬉しいのだ…

夢の中でピアノを弾いていたらしい.夢の中で数学をやっていたらしい.指は動き,コンパクトな錐を扱って唸っていたという.そのうち夢の中でそれなりの長さの小説を一編書き上げたりするのかもしれない. 長いこと手元にあった手紙を渡した.喜んでもらえて…

今日も相変わらず数学のようなことをして過ごした.僕の専門は計算機科学にもよく応用されているけれど,本領は証明論における構成的な論理の下地作りであって,応用を前提とした構成になってはいない.コンピュータをある視点から捉えると,コンピュータの…