榎本啄杜 (@enomoto_system2) header
榎本啄杜 (@enomoto_system2) profile picture

科学哲学(情報まわり)の博士です。まめきち(柴犬,8歳)とつぶきち(マンチカン,6歳)が好きです。https://xitter.gq/t.co/OyVt8P5AKP

関西
Joined June 2017
情報の哲学研究会(略称:JaSPI)を立ち上げました。 研究拠点としてだけではなく、情報の哲学に関心のある人向けのネットワーキングの場としても機能させたいです。 当面の運営メンバーは以下です。 代表:榎本啄杜 副代表:浅野将秀 副代表:五十嵐涼介 興味がある人はご連絡ください。
4
60
4
216
199,896
関西弁の「おもんない」も当然ニュアンスとか文脈によるのであって、一対一で翻訳しようとしている人(さらには文献解釈等に従事している人)を見ると「そんな言語センスで大丈夫ですか」と思ってしまうな (「お前おもんないで!😀」と「お前…おもんないで…☹️」があまりにも違うのは自明として)
1
1
5
1,004
これとかなりリンクするところがあって、 君たちは他人の意図とか実力を的確に判断できるだけの能力ないよね? 天才ならともかく、しょうもない奴らが何やってるの? 実力ないならまずは王道のやり方で真っ直ぐやるしかなくない?「正論が全てじゃない」とか言えるほど経験積んでるの? と思うよね👊
2
367
「私は見たいよ!」「主語を言え、主語を ヤレヤレ」 みたいな会話、たぶん「話を理解するために不足している情報」のことを「主語」と呼んでいるんだろうなあと推測はするものの、なによりヤレヤレしながら頓珍漢なことを言ってるのがキモすぎて、好意的に受け取って会話を続けるのが難しくなる
8
506
榎本啄杜 retweeted
条件つき証明の項に「仮定の解消」に関する説明を追加しつつ、全称汎化の項に哲学ではなく日常的推論で全称汎化が行われている例を追加し、特定のものが最初から前提に現れないというパターンだけでなく仮定の解消によって全称汎化の条件が満たされるというパターンがあるよという注意を補足した。
1
1
1
1,082
榎本啄杜 retweeted
みなさんは、どちらに重きを置いて生成AIを選んでいますか (生成AIに何を求めていますか)
26%自分と似たような能力を持っているか
74%自分の欠点を補ってくれるか
43 votes • Final results
1
3
850
みなさんは、どちらに重きを置いて生成AIを選んでいますか (生成AIに何を求めていますか)
26%自分と似たような能力を持っているか
74%自分の欠点を補ってくれるか
43 votes • Final results
1
3
850
まめきちシャンプーした
1
17
908
「情報的線形論理」!?とワクワクしたら誤字だった…
Replying to @ytb_at_twt
三位一体:情報的線型論理の核で保存拡大性と正規化可能性と反転原理が一致する性質のこと(矢田部命名)
5
667
妻からも何度か指摘されるし自覚もあるのだが、「やけに年上にだけ厳しい」という癖があって、それには僕の甘えとか想像力のなさが関係してるのかな。期待しすぎているというのか…。とはいえ年下をみくびっているわけでもないのだけど…。
1
1
10
1,847
学部2回生くらいのときに、サークルの先輩から「世の人々はお前が想像しているほど、そんなに一貫した考えを持っているわけではない」と言われたのを思い出した。これは一貫性についての話だったが、それに限らず、他のことについても想像力が足りていないんだろうな。
8
636
「榎本 論理学」で検索したら昨年度のやりとりが出てきて「おお、こんなこともあったなあ」と思いながらリポストしたが、僕自身については「確かに執念深いし心外なことを言われたことは忘れない」と思っていると同時に、相手については「いろいろとストーリーを作り出すタイプで大変だなあ」と思う
1
1
8
4,134
うーん、まあ今回言及した「生理的に無理」タイプの人と江永さんのような「論理学イキり」に対する嫌悪感を示す人はかなり別の区分ではあるし、江永さんを晒し者にしたところで自身の理非を正当化できるとも思ってない(江永さんの言動がおかしかったのはそれはそれとして、内容的に繋がっていない)ので、あんまりピンときてないんだよな。こういうところがダメと言われればそうなんだが。
1
1
706
でも確かに「意図とは違った」は言い訳にならないな。気をつけないとな…。
435
榎本啄杜 retweeted
善良で教育的である振る舞いができることと、私の「生理的に無理」的な偏見を助長させる振舞いのあいだに、矛盾はないのだろうと思う。 (自身の理非を明らかにするために、きちんと私をさらし者にする、その態度は正当なものに映るし、また、同程度の執念深さを私も持ち合わせている気がしている。)
1
1
1
817
榎本啄杜 retweeted
xitter.gq/nema_to_morph_a/status… 通知が来たのだが、ご当人にリポストいただいたようだった。私の意見がいかに偏っており、自身の工夫がいかに支持を得ているかを見せつける文脈のようだった。確か当時は、江永の言があまりにも心外過ぎて、江永が目の前に居たら手が出ていた、と述べられていた記憶があった。
xitter.gq/enomoto_system2/status… 分析哲学や分析美学の界隈のひどなどに散見される、いわゆる"論理学イキリ"の醜悪さ(と私の目には映るもの)が、極めてわかりやすく現れているように映るポスト。 英数字が"学術的"に映るだとか"きりんさん"とかが"幼児教育向け"に感じられるだとかの効果を理解している癖に
1
1
1
4
5,089
ちなみに授業では本当にきりんさん・ぞうさん・ぺんぎんさんの証明樹を(最初の演習問題でだけ)使用しました。反応は「ごちゃごちゃして見にくい」「色分けされてて意外と見やすい」など様々だったが、「何を使ってもいいんだ、ということが改めてわかり理解が深まった気がする」という意見も。
1
35
3,090
非常勤(論理学)だん。「きりんさん」の件をちょっと愚痴ったら、とある学生から「先生がわからない子のために真剣に向き合ってるのは受講者みんなわかってます。バカにしてるなんて全然思わないです。」とコメントがあり、泣きそうになった。
1
7
83
10,035