どうしようもなくnaive realism
「分かりづらいツイートして満足してないでブログに書け（大意）」とのことなので書きました
実在論(realism)
実在論とは，対象が我々の外部に独立して存在するという主張である．
我々は普段目に映ったり耳に聞こえたりするものが本当に世界に存在すると感じながら生きている．
例えば目の前のパソコン・もたれかかっている椅子・窓の向こうの月や画面の先のVTuberは「実在」しているのだ．
このような人間にとって自然な認知の仕方は素朴実在論(naive realism)と呼ばれている．
当然，実在論に対して反対する立場も存在する．
とくに科学哲学の分野では，科学が対象とするもの（原子など）が実在すると主張する科学的実在論と反実在論の争いが続いている．
悲観的帰納法なんかは面白く，科学の発展において存在しない/正しくないと明らかになった対象（燃素とか）について帰納的に考えることで反実在論を主張している．
この記事を書いた理由は上に上げたHacker Newsで「数学（やその定理）は発見されたものだ！」と繰り返し主張している人が居たから．
この人は数や定理・数学的構造といったものが我々と独立して存在しており，それを人間が発見するという活動が数学であると考えている訳なので，実在論者である．
反対に「数学は発明されたものだ！」と言っている人も居る．この人たちにとっては数学はある意味人間（の社会的インタラクション）によって構築されたある種の知的ゲームであり，実在していない．
HNの人たちは発見発明と同じことを繰り返すばかりで話が進まないのだが（悲しいが良くあることだ），その背景にはこのような哲学的立場の違いがあるわけだね．
ハッキング『数学はなぜ哲学になるのか』では，なぜ数学にこのような哲学的論争が発展する余地が生じているのかを描き出していて面白い．
特に本書で提示される「デカルト的証明」と「ライプニッツ的証明」の区分けなんかは感心したものだ．
- 作者:イアン・ハッキング
- 発売日: 2017/10/07
- メディア: 単行本
ちなみに，自分は反実在論寄りの立場である*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がバージョン管理システムの中でも独占的な地位を築いています．
ですが，天下もいつまでも続くとは限りません．そのとき台頭してくるのはパッチベースなバージョン管理システムかもしれませんね．
ASMR筋
最近，YouTubeでASMR(Autonomous Sensory Meridian Response)動画を見る（聴く？）ようになった*1．
ASMRは「ぞわぞわする反応」のことで，各動画はその反応を催すように作られているはずなのだが，どうやらそれにも適性があるらしい．
ぼくはこれを「ASMR筋」と呼んでいる．
例えばシャンプーで頭*2をマッサージするという動画がある．しかし，自分にとってはガサガサ音がしているだけで全く頭を弄られているという気はしないし，耳のオイルマッサージについては聞こえる音が手で耳をふさいだ時の音だと気づくのに1か月以上かかっている．
シチュエーションボイスはその極北で，自分が記憶喪失だと聞かされたときには理解不能な科学理論を聞かされているような心持ちになった．
そんな自分でも感じ取れるのが吐息で，ラトナ・プティのASMRは良く聴いている．息で耳が暖かくなるのが分かるんだよ．いやマジで．
www.youtube.com
最近はカリカリとした耳かきも少しずつ分かるようになってきた．
ASMR筋トレの道はどこまでも続いていく．．．．
積み本『ゲーム理論はアート』
この記事は積み本アドベントカレンダーの9日目です
今日の本は『ゲーム理論はアート 社会の仕組みを思いつくための繊細な哲学』
なんで買ったの？
大学の課題でゲーム理論を見る必要があり，フォン・ノイマンのアレとか買ったんだけどそのときに面白そうなので一緒にカートに突っ込んだ．
フォン・ノイマンのアレ↓
- 作者:J.フォン ノイマン,O. モルゲンシュテルン
- 出版社/メーカー: 筑摩書房
- 発売日: 2009/05/11
- メディア: 文庫
ぱらぱら読んでみたけど
いいですね．ゲーム理論で出てくる面白例とそれを現実に適用していこう！という本．楽しそう
積み本『月とライカと吸血姫 (4)』
この記事は積み本アドベントカレンダーの8日目です
今日の本は『月とライカと吸血姫 (4)』
冷戦×宇宙×差別という下地にボーイミーツガールを被せた名作ラノベ．
．．．5巻も出てるじゃん！！！！！！（欲しいものリストに入れた）
なんで買ったの？
赤月ゆに（
赤月ゆに 🦇 12/31西Ａ-57a (@AkatsukiUNI) | Twitter
）のコラボ．．．と思わせて実はデビュー前から読んでたんだよな．多分Twitter経由（ほとんどそうなため）
今年中に既刊全部読んじゃお
積み本『太った男を殺しますか？』
この記事は積み本アドベントカレンダーの7日目です
今日の本は『太った男を殺しますか？ 「トロリー問題」が教えてくれること』です
- 作者:デイヴィッド エドモンズ
- 出版社/メーカー: 太田出版
- 発売日: 2015/08/28
- メディア: 単行本（ソフトカバー）
なんで買ったの？
多分Amazonセールに合わせて買った．セールのポイントアップに合わせて欲しいものリストに積んでた本を購入するというのをよくやる（このサイバーマンデーもやる）．
ﾄｩｲｯﾀｰでトロッコ問題よくワイワイやってるのが虚無に感じる．こういうのちゃんと議論されてはるかに精緻な体系ができあがっているはずなので，そういうのが紹介されていく場であっていてほしい（祈り）．
インターネットやめろ本を読め
目次眺めてみたんですけど
あとがきが嫌いな人で読む気失せてきちゃった・・・
