Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 121

数学者曰く、数学基礎論は衰退したらしいので悲しい。https://www.youtube.com/watch?v=1X8npQqoGkQ

これは数学基礎論の時代が到来したのでは(到来してない)

自由な意志なるものがあるというのはまるで永久機関が実現できると主張しているようにしか見えないよ。

にしても、物体同士が相互作用することなんて科学的には自明なのにどうして己、そして人間もしくは動物に対してだけは例外だと思ってしまうんだろうね。これは自分を含めて本当に不思議な話だよ。

社会的な改善まで考えるのは僧の仕事であって私の仕事ではない。私がやるべきことはまず私と近くにいるあらゆる相互作用するものに対してだ。

まあ、私に作用する SNS を使うのはなるべく控えた方がいいのは明かだろうな。なんでかっていえば相互作用が薄いからな。悪くいってしまえば制御でないからってことになる。SNS を通じて平和をーなんて考えている間があったら身近な対人関係について意識した方が遥かに良いのである。

> といっても、現在私は私自身のことで手一杯なんでそんな真似事をできる状態ではとてもない。

しかし、これ自体が仏教的な意味で誤りであるというのもそうか。私に作用する存在に対してうまく接すること自体が私を変えることになるわけだから。

そもそも、SNS で何かを発信しているという時点で悟りとはほど遠い状態であることは自明である。ただし、大乗仏教とは菩薩として悟りに達することなく人々の救済にまわることを優先したということだから SNS を使うお坊さんがいたとしてもなんらおかしなことではないのだ。

といっても、現在私は私自身のことで手一杯なんでそんな真似事をできる状態ではとてもない。

もし希望があるとしたら上記について SNS を使うもの全てが正しく知るということだろうけどまあ無理だろうな。少なくとも 2500 年もの間成し遂げられなかったことだ。そしてそこが始点だと思うのも不自然でありそれより過去にも何人もが気づいてきただろうし、その後にも気づく人は大勢いただろう。しかし、人間(当然私を含む)は根源的に愚かであり少なくとも SNS を使用する人々全員がそのような域に達せられそうな希望がどうもない。

私と違って数学方面から対の面白さをきっかけにして Lisp にはまる人もたぶんいるんだろうな。

かつて私は Lisp は簡単だし覚えること少ないし超簡単じゃんって思ってた。でも現実としてはそんなことはない。たぶん私が Lisp を簡単だと感じたのはそれ以前に C 言語とか Perl とか学んでたのが大きい。そういう経験のあとに Lisp に触れた場合に限り Lisp が単純でかつ簡単だと思えるんだ。

Lisp の最重要概念(Clojure 使いはおそらく異を唱えるだろう)は cons であり、cons を理解するには事前に C 言語におけるポインタを理解していることが望ましい。しかし、それは私の辿った道であり他の人もそうしなければならないという理由はない。

本当の意味で適切な Lisp の教科書があるとしたらそれはいったいどういうものになるのか、まったく検討もつかない。

理屈としてはそんなに難しい話ではなくて、いたって単純なんだけど、それが感覚として分かるかといったらやっぱり分からない。単純さと簡単さが如何にかけ離れているものなのかがよく分かる。

絶対的に存在すると認識している自我自体がそもそも無数の何かの結果であることを真の意味で認識できるときは果たして来るのだろうか。

自分の存在を絶対的な因ではなくて何かの「果」として認識して生きるのあまりに難しいよな（その果は何かの因にもなるし縁にもなる。しかし、自己が因縁から自由になることなどありえないと心の底から理解できるか)。まああまりに難しいから仏教から大量の派閥や宗派がでてくるわけだよな。

人間は煩悩の塊であり自我に対して謎の絶対的な信頼を覚え自身に執着せざるを得ない。これが仏教でいう苦しみの因に相当する(諸法無我は自我を絶対視する認識に対する批判的な態度を表明している)。その観点からいえば発言者が明示される SNS が生まれればそこに地獄が生まれるのは自明で必然である。あまりに根源的過ぎる問題のため解決の道筋などないに等しい。

ハイペリオンを読みたい気持ちが少しだけ湧いてきてしまったんだが、集合論の方が優先度高いしあんまり面白い小説は生活リズムを破綻させる可能性があるので今は避けようと思う。

やっぱ、9年は長すぎる。新刊でたらそれより前に出た全巻を読みたくなるだろうしそんな時間はほとんどの社会人にとってはないだろう。今の学生の民にとっても涼宮ハルヒの憂鬱は魅力的なんだろうか。キャラクターデザインとしてはもう古くさくなってるかもしれないけど SF として見ればまったく古くないと思うんだよな。というか古くなりようがない。

最初の一巻(涼宮ハルヒの憂鬱)だけでも手に取ってもらえればくっそ面白い(個人差あり)ので是非読んで欲しい。ハルヒの傍若無人ぶりとキョンのうざさに耐えられるかどうかが難しいところだけど一巻目を最後まで読む価値は確実に有る。

9年経過してハルヒの新刊を待つ層が、時間的にラノベを読んでいる場合ではなくなってしまった感が厳しい感じする。私は運の悪いことに最初にラノベとして涼宮ハルヒの憂鬱を読んでしまったがためになんというかラノベ系のジャンルに対して謎の勘違いをしてしまいラノベ界に入れなかった。

ハルヒの発刊間隔を関数としてみると、今後数年の間に新刊でる期待があまりに薄すぎる。もし明日発刊が発表されたらあまりの驚愕に腰を抜かす自信がある。

いやまああの方は後である意味めっちゃ報われるんだけどなんというかだからといって許されるというわけでもないからな……。