This account is not set to public on notestock.

数学って背理法みたいなので「具体的な数値は示せないが、とにかくそういう性質を見たす数が存在するんだ」みたいなこと言っちゃうし、ﾎﾟﾖｸﾞﾔﾐﾝを計算の自動化と捉えるうちはだいぶ険しそう……

……まで考えたところで Curry-Howard 同型対応を思い出したので、まあ、ﾊｲ

This account is not set to public on notestock.

This account is not set to public on notestock.

まあ努力肌でも天才肌でもない人間は確実に存在するし、なんならそういう人が大多数なんじゃないのとは思う(つらい)

努力に苦痛を感じない人間か天才に生まれたい人生だったなぁ

This account is not set to public on notestock.

何らかの文脈を共有しない人と会話したくない、そもそも会いたくないというの、あまりに自然すぎて敢えて明示するほどのことに思えない

べつに人と話すことそのものに特に何か感じるわけではないけど (いや慣れるまではひたすら苦痛だけど)、特につらいのは最初に共通の文脈を手探りで構築していくところなんですよ、あれがひたすらつらい

なんというか、エアパッキンのアレをひとつずつプチプチ潰していくような、それ自体から得るものがなく途方もなく不毛な作業のように思えてしまう

人と話をしたいと思うのは、共通の文脈の上で何らかの話題について有意義な情報や感情を得られるからであって、人と知り合う過程で得られるそういったものの期待値が途轍もなく低いので嫌になる

よーするに花が咲くかわからない植木鉢に水をかけるのが嫌いなタイプということですね

初対面の人と長く話した後で別れたりすると、顔面の筋肉の異様な疲れを感じたりする

その点、個人対個人の双方向での対話を前提としない SNS は、文脈の共有もそこそこに、特定のコンテンツについていきなり生産的な話をしたり聞けたりするので、とても気が楽

私が交換したいのは話題というコンテンツであって話し相手の人間性ではない、ということになるんですかね

人と話せる人々、そもそも人と話すことが有益であるという謎の仮定を置きがちなので本当に油断ならない

興味ないことと向き合うことを強制されれば嫌いになるのも当然の話で、そういう面では幼少期には中立だったのに小中高で連続的かつ着実に人嫌いになったと考えられるかもしれない

同年代の子供たちと同じ部屋に詰め込まれて溶け込むことを強要されず静かに本を読ませてくれていれば、こんなに人間を嫌いにはならなかったかもしれない

日本の UTC+09:00 、海外の日曜日の出来事が起きる頃には日本が月曜日なっていたりするので、反応が遅くなることがあり

This account is not set to public on notestock.

This account is not set to public on notestock.

たまに WiFi 切れるの、やっぱり XZ1 の問題なのか