みんな○○好きねえ

インターネット大盛り上がりに乗れないことがままある.
悲しいね

乗れなかったなリスト:

世代,なのかなあ.でも同世代がハルヒでワイワイしているのを横目でふーんと眺めてるのあったぞ.
別に波に乗る必要は無いし,ぼくの中で盛り上がっていることも他人からすればふーんなんだろうけど
TwitterのオタクどもがキャッキャッしてたりVTuberが話題に出したりをただ見ているしかできない,というのはどうも寂しい.

どうしようもなくnaive realism

「分かりづらいツイートして満足してないでブログに書け(大意)」とのことなので書きました

実在論(realism)

実在論とは,対象が我々の外部に独立して存在するという主張である.
我々は普段目に映ったり耳に聞こえたりするものが本当に世界に存在すると感じながら生きている.
例えば目の前のパソコン・もたれかかっている椅子・窓の向こうの月や画面の先のVTuberは「実在」しているのだ.
このような人間にとって自然な認知の仕方は素朴実在論(naive realism)と呼ばれている.

当然,実在論に対して反対する立場も存在する.
とくに科学哲学の分野では,科学が対象とするもの(原子など)が実在すると主張する科学的実在論反実在論の争いが続いている.
悲観的帰納法なんかは面白く,科学の発展において存在しない/正しくないと明らかになった対象(燃素とか)について帰納的に考えることで反実在論を主張している.

この記事を書いた理由は上に上げたHacker Newsで「数学(やその定理)は発見されたものだ!」と繰り返し主張している人が居たから.
この人は数や定理・数学的構造といったものが我々と独立して存在しており,それを人間が発見するという活動が数学であると考えている訳なので,実在論者である.
反対に「数学は発明されたものだ!」と言っている人も居る.この人たちにとっては数学はある意味人間(の社会的インタラクション)によって構築されたある種の知的ゲームであり,実在していない.
HNの人たちは発見発明と同じことを繰り返すばかりで話が進まないのだが(悲しいが良くあることだ),その背景にはこのような哲学的立場の違いがあるわけだね.

ハッキング『数学はなぜ哲学になるのか』では,なぜ数学にこのような哲学的論争が発展する余地が生じているのかを描き出していて面白い.
特に本書で提示される「デカルト的証明」と「ライプニッツ的証明」の区分けなんかは感心したものだ.

数学はなぜ哲学の問題になるのか

数学はなぜ哲学の問題になるのか

ちなみに,自分は反実在論寄りの立場である*1
でも卯月コウも赤月ゆにも実在してるんだよなあ.どうしようもなくnaive realismってワケ.

*1:例えば,いわゆる数学の基礎にも様々なバージョンが存在する. 普通の人たちは素朴集合論で問題なくやっているし,もしかしたら大半の数学的活動(ディ~プラ~ニングとか)は算術のアルゴリズムを内面化さえしちゃえばいいのかもしれない. 厳密に機械検証!!!!つってもSimple Type Theoryベースでやってもいいし(Isabelle),依存型ベースでもCoqもAgdaもちょっとずつ違う.NuPRLはComputational Type Theoryというこれまたよく分からないやつを使っている. これらもZFCとは異なるわけで,それなのに独立した「ザ・数学」なんてものが実在するのかなあというのが疑問なワケだ. 一方,実在論者たちはこの現象こそが実在論の擁護になると主張することもできる.曰く「様々な数学の形(定式化)があるのにも関わらず,それらが全て同じ数学であると認識できるのは,まさに数学が実在しているからだ. 種々の定式化はイデアに住む数学を人間に理解できる形で射影した影の形に過ぎないのだ」と.

生産性を発揮できない

自分の一日のスケジュールは以下の通り:

11時~12時 起きる
~13時 飯
13時~16時 「正」の時間
16時~20時 家事・(リングフィット)・風呂・飯
20時~22時 パソコンと向き合うけど特に何するでもない
22時~ 布団の中で動画見たり眠れね~~~ってなったりする
2時から4時くらいに就寝

13時からの「正」の時間ぐらいしかまともに動けないんだが,この時間に講義・ゼミが入るとそれだけで消耗しきってその日何もできなくなる.
今週は月曜日に風邪をひいてしまってただ横たわる時間も増えてしまったため,実質週1日30分しか研究ができなかった.
そりゃあ週1コミットじゃあ研究進まんよなあ.でもそれが焦りとか不安に繋がって悪いスパイラルに陥ってしまうのだ.悲しいね.

まともな生活を得てえ~~~~~~~~~~~~~~~~~~~~

法律はGitというよりPijul

下の記事では法令の変遷をバージョン管理システム上で機械可読な形式で管理することを提案しています.
提案については賛成するのですが,技術的な点についてコメントをします.
note.com

リンク先の記事では法改正を行う法律は元の法律に対する差分として記述されている,ということを紹介しています.
その上で改正を行う法律のことをGitのコミットと同一視していますが,これは正確ではありません.
なぜならば,Gitのコミットはファイルの差分ではなくスナップショットとしてファイル全体を保存しているからです.
git cat-fileコマンドを使うとスナップショットを確認することができます(詳しくはGit公式の解説が良いです).
つまり,Gitのコミットは法律の改正が「溶け込んだ」後の現行法の条文を保存していると言えます.
git show等で差分が表示されるのはその時その時にスナップショット間の差分を計算しなおしているからです*1

一方,差分(パッチと呼びます)をコミットとして保存するバージョン管理システムはパッチベースであるといわれます.
パッチベースのバージョン管理システムとしてはDarcsやPijulが有名です.
これらのシステムにおいてリポジトリの状態(「ブランチ」)はパッチの集合として表現されます.
例えば,Gitで過去に適用したパッチを打ち消す場合はリバートコミットを現在のブランチの上に適用する必要があります.
反対にDarcsやPijulの場合,現在のブランチを表すパッチ集合からリバートしたいパッチを削除するだけで変更を指し戻せます.シンプルだとは思いませんか?

マージコンフリクトの取り扱いも考えてみると面白いでしょう.
Gitにおいてマージは複数のコミットを親とするマージコミットを作成することで行われます.
親コミットの変更がコンフリクトした場合は手でコンフリクトを解消するまでマージは完了せず,その他の処理を行うことはできません.
パッチベースなシステムの場合,マージは常に実行できます.なぜならば,ブランチのマージは単にパッチ集合の和をとるに過ぎないからです.
これはコンフリクトが発生しないということを意味するわけではありません.むしろ,コンフリクトが正常系として組み込まれているといえます.
コンフリクト検知が可能なエディタを用いれば,コンフリクト下においても編集を続けつつ適当なタイミングでコンフリクトを解消するということも難しくないでしょう.

現時点ではGitがバージョン管理システムの中でも独占的な地位を築いています.
ですが,天下もいつまでも続くとは限りません.そのとき台頭してくるのはパッチベースなバージョン管理システムかもしれませんね.

*1:実際,git showは差分アルゴリズムを変更することもできます

ASMR筋

最近,YouTubeASMR(Autonomous Sensory Meridian Response)動画を見る(聴く?)ようになった*1

ASMRは「ぞわぞわする反応」のことで,各動画はその反応を催すように作られているはずなのだが,どうやらそれにも適性があるらしい.
ぼくはこれを「ASMR筋」と呼んでいる.

例えばシャンプーで頭*2をマッサージするという動画がある.しかし,自分にとってはガサガサ音がしているだけで全く頭を弄られているという気はしないし,耳のオイルマッサージについては聞こえる音が手で耳をふさいだ時の音だと気づくのに1か月以上かかっている.
シチュエーションボイスはその極北で,自分が記憶喪失だと聞かされたときには理解不能な科学理論を聞かされているような心持ちになった.

そんな自分でも感じ取れるのが吐息で,ラトナ・プティのASMRは良く聴いている.息で耳が暖かくなるのが分かるんだよ.いやマジで.
www.youtube.com

最近はカリカリとした耳かきも少しずつ分かるようになってきた.
ASMR筋トレの道はどこまでも続いていく....

*1:Vの者経由で様々なインターネット文化に触れるようになってきた

*2:ダミーヘッドマイクの頭部分