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

いや、もちろんあれが良いとは当然思わない。倫理的にどうかという問題は当然問われても仕方がなくどうしようもない。

2ch は発言者に権威がないから誰にとっても信頼にあたいする情報でなかったおかげで許されてきた。今はそうではない。SNS と呼ばれるシステムには残念なことに「誰」が言ったかがものを言うようになり、その意味内容がくそどうでもよくても無視できる時代ではなくなってしまった。

地上波で最初からアニメでやるの、いまだと多少ストーリーに変更を加えないと放送するの無理だと思うんだよな(あのシーン、分かる人には分かると思う)。いまは Twitter だとか Facebook だとかそういう SNS があるんでちょっとあまりに厳しい気がしている。2ch だけなら許された。

今後の展開によってはまた驚愕で終わりで良かったとかいうようになるかもしれない。あまりに伏線を残しすぎなんだよな。いったいいつまで続ける気なんだ。次あたりなんとかして全ての伏線を回収して終らせて欲しい。

分裂と驚愕は読むのが凄く面倒くさいけど最後まで読む価値があると自信を持っていえるので驚愕まで読むの凄いおすすめ。驚愕を最後まで読んで消失(or 陰謀)までで良かった派閥ではなくなった。

直観はなんというかちゃんと物語が完結した後だったら面白く感じたんだろうけど状況的に私には面白みよりも苛立ちが勝った。はよ新刊だして。

s/直感/直観/

涼宮ハルヒの直感、時間があまりに空き過ぎてあんまり読んでいる人がいない説があって悲しい。私は観測自体よりかは驚愕を最後まで読むきっかけになってよかったと思ってる。当時の私にとっては分裂から驚愕まで読むのはちょっとあまりに面倒すぎて無理だった。

壁に掛けられている銃を発砲するのを忘れないでいて欲しいと願っている。

これ読んで朝倉涼子のことを好きになり始めてしまった。いままで長門派だったんだけど朝倉もかなりいい。また復活して欲しくてたまらないし、あの感じなら再度の復活を期待しても損はなさそうだ。ただ多くの作品において 3 回がキーワードになっている説があり、4 回目の登場が見込めるかはちょっと怪しいところがあって不安だ。でもキョンに本気のシリアスを与えるには朝倉は不可欠なんじゃないかと思う。なんというかあれは最高だった。

消失のときにでてきた朝倉も結構好きなんだけど、驚愕で朝倉が再登場してあの動きをしたのには本当に鳥肌が立ったね。

まさかあのセリフを残してもう再登場しないとはとても思えん、今後朝倉なしに完結するのだけは止めて欲しいと心から願っている。

cddb に日本語で登録してくれた方には感謝の念を捧げたい。これ手動でやるはめになってたら死ぬほど面倒くさかったと思う。

熱で消せるペンとノートの組み合せは本当に最高だと思ってる。最初はペンタブで進めようと思ったんだけど早々に諦めた。なんか私には操作性があんまよくなかった。学生時代は鉛筆だとかシャーペンと消しゴムの組み合せを強要されたけどあれは本当に嫌だった。消しゴムのカスがでてくるのが嫌い。消せるボールペンマジで神。

実家から「涼宮ハルヒの完奏」(涼宮ハルヒの憂鬱のアニメのBGMがいっぱい入ってるやつ)を実家から持ってくることに成功したんで、これが良い感じに BGM として使えそうでよい。

あと、ACL2 を使って例題とか定理の証明を進めていこうと最初は思ってたんだけどそうそうに諦めた。私にはまだ早いしどうやって無限集合に関する問題を ACL2 に落とし込めばいいのか分からんし不可能なのかもしれないわけで更に苦労もするんで、当然のことながら紙とペンで進めた方が良い。

第一章の p.12でなんか集合の相等性について他の集合論の書籍では集合論のなかで「定義」している場合があることについて急にディスり始めたのには驚いた。ようは `=`ついて成り立つ性質は集合論の中で定義することはできず、相等性の公理として最初から認めておかないといけないということらしい。このあたりからちょっとこの本の独特さを感じ始めて面白そうに思った。

本当、第二章のクラスの導入あたりまでは楽勝そうなのに、第三章で急激に難しくなるとは驚いた。これが数学書なのかって思ったわ。

まあ、あと選択公理を仮定しないと証明できない良さげな定理はあるが、導入するとなんか直感的には変な定理も証明できるという話の流れがあることも掴んでいて内容に面白みを感じられるんで続けられると思う。

集合の分割は数学的な意味ではあまり理解できなかったが、素朴に何を言っているのかは分かりとても面白そうに感じた。集合の有限分割と無限分割は本当に面白く、今後日常的に何らかの現象を観測したときに集合の分割として解釈してしまうんじゃないかと思うくらい面白い概念のように思う。

軽く眺めた感じ、第一章と第二章は割と普通に読めそうなんだけど、第三章からは私にとって新規の概念が大量に導入され話が急激に難しくなり第三章を正確に理解しないとその後の理解も困難そうなのでそこが山場のように思える。

一度練習問題を解かずに最後まで読み流してみたところ、集合族、集合の分割、選択公理の話が始まるあたりから急激に難しくなるのを感じた。

まあ、ちゃんと練習問題を解きながら進めたり、分かんなくなったら最初の章に戻って読み直すとかりを繰り返せばなんとか読めるだろうなとは楽観的に思ってる。

高校のときに集合について軽く学んで始めて数学が面白く感じた民なんで、集合論はいつかちゃんと勉強したかったので良いタイミングだと思っている。