川井 新 (かわい しん)
@squawai
Followers
1,893
Following
1,569
Media
1,469
Statuses
16,326
オンライン私塾論計舎代表。数理論理学と計算機科学を伝える。両分野の研究者。京大数理解析研究所共同研究にて口頭発表2回。共同研究がkokyurokuに掲載。今の目標は査読つき単著論文。オンライン指導では初学者から不完全性定理への理解をお手伝いしたり早9年。東京理科(数学)→同志社(哲学)。たまに手料理の画像を投稿します
福岡 久留米市
Joined January 2019
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Dodgers
• 214440 Tweets
Padres
• 121830 Tweets
Perú
• 105655 Tweets
ドジャース
• 102895 Tweets
#Vijayadashami
• 74005 Tweets
ダルビッシュ
• 62857 Tweets
#HappyDussehra
• 56662 Tweets
山本由伸
• 49124 Tweets
Uruguay
• 48152 Tweets
Utah
• 38468 Tweets
刀剣乱舞
• 29217 Tweets
JENO FIRST PITCH
• 26803 Tweets
राष्ट्रीय स्वयंसेवक संघ
• 26397 Tweets
#lovefighters
• 22733 Tweets
三連休初日
• 20642 Tweets
KARIME EN RICO
• 18423 Tweets
#chibalotte
• 17973 Tweets
パドレス
• 16614 Tweets
Bielsa
• 16199 Tweets
제노 시구
• 15134 Tweets
Arizona State
• 14697 Tweets
ピッチング
• 12201 Tweets
Pinned Tweet
私は論計舎
@ronkeisha_info
というオンライン私塾で身を立てながら、数理論理学・計算機科学の分野で独立研究者として仕事をすべく活動してます。
食と酒を好む、福岡在住のサンガサポです。
35歳を迎え、さすがに健康が気になり始めました。
論計舎・研究者としての活動はサイトからご覧ください。
1
0
16
数学科での思い出話です。とある講義中、教官が証明を途中まで板書しながら説明していて「この方法は確かに証明できるが筋が悪いし説明にもならない」と言い5分くらい考え込みました。その結果、「いい証明方針を思いつかないので今日の講義は終わります」と15分で講義自体を終わらせてしまいました。
5
402
2K
（僕も含まれるかもしれませんが）こういう人たちが他人に危害も与えず与えられもせずのうのうと生活できる社会というのは、裕福な社会であるだろうと勝手に考えてもいます。
3
98
637
私はこの時「ああ大学に来たんだな」と嬉しく思ったのを覚えています。
現代の大学観からはおおよそ許されないですし、当然一般社会ではもともとダメでしょう。しかし、僕はこういう人が減ることを願うと同時にたまらなく愛おしいと感じています。
2
115
630
「数学がわからなくて経営/教育/政治etc...をできるわけない」とか聞くが私から見るとそういうことを言う人の議論や論証が往々にして全くなってない。すると「哲学がわからなくて経営/教育/政治etc...をできるわけない」と言いたくなる。けっきょく自身の専門分野を過大評価するバイアスがあるのだろう
3
70
491
私のやっている数理論理学とは何かを恐れずにぶっちゃけると、「しばりプレイ数学」の限界と可能性の判定です。数学理論を形式系という形で数学的に扱える対象にし、その中でも普段使いの証明の技を封じると形式系という数学者がどれくらい無能になり有能なのかを調べる、という感じです。
0
12
69
クラウドファンディングに承認されたので(まさかの)、以降UFJへの振込というかたちでの援助はおしまいにします。
じつはいろいろパニックだったんですが、多少は気が楽になりました。
もし、これから送金してくださる予定の方がいらしたら以下のURLよりお願いします
3
21
66
付言したいこと
私は掛け算順序に訴えかけない教育を受けたはずでたぶん今普通に掛け算をできています。これに対して「掛け算順序は教育上の工夫であり順序つき掛け算でないと小学生は理解できない」と述べる人は少なくとも私を教えてきた小学校の先生より余計な道具を必要とする分無能って吐露してる
1
34
63
学部数学を仕事と500%無関係にやっており、具体的には体論（最終的には円分体とやらをやってみたい）とホモロジー代数を復習している。
ホモロジー代数のために群環について一昨日あたり触っていたが、記法が何か具体的なものの気持ちを汲んだものになっているだろうにそれが想像つかない
1
4
56
自然演繹100題ノックβ版できました。限定試験配布したいのでリプライかDMを頂けたらお渡しします。Google Docを使用予定。ぜひお声掛けください
2
16
58
先日、「掛け算順序はあるかないか」みたいなスペースでちょっとだけ話した。そのhostはどこかの塾の塾長らしいのだが、「なんとお呼びしたらいいですか？」と伺ったら「塾長でいいですよ」と答えられてかなり吃驚した(失笑したかも)。なので以降、塾長と呼ぶ。
1
22
45
で、再度説明したらまた「頭が悪いので…」と言われたのでこの時は自覚的に嫌味として「そうでしたね」と答えた。繰り返すが僕は「頭が悪いので」と断ることは愚劣で卑怯な処世術の最たるものの一つだと思っている。
1
9
42
新成人のみなさんへ、老婆心から助言をすると、一人暮らしをしてるなら住民票をうつすことと実印、マイナンバーカードを自身で管理することは忘れないでください。行政上の手続きや年金、保険の管理、銀行のあれやこれは今やあなたの肩の上にあります。そして、親といえども味方とは限りません。
2
18
40
記号を使っただけの「厳密さ」ほど危ういものはないでしょう。例示するとε-δ論法の証明を論理学で使う記号で書き直してみるとわかった気になれてしまいます。私もやらかしました。同様に実情はふわっとした話なのに記号を使うことで必要な仮定や定義といった道具の存在に気が付かないことがありえます
0
10
39
おもしろそうな本を発見
『コンピュータサイエンスにおける様相論理』
0
10
38
私は論計舎
@ronkeisha_info
というオンライン私塾の講師業で身を立てながらなんとか独立研究者として数理論理学・計算機科学の分野で仕事をしたいと思っております。論計舎では自身の専門分野つまり「論と計」に関心を持つ人にそれらを伝えております。
2
3
38
某有名雑誌の企画で数学者お二人とお話する機会を頂きました。春に雑誌掲載予定です。
論計舎の話をどれくらいしたらいいのか悩み過ぎて私としては立ち位置のよくわからない話をしてしまった後悔があります
発売が決定すれば、(もしかしたら論計舎アカウントで)告知します。買ってね。
0
2
35
私が高校に合格して家を出る時に亡父は以下の手紙とともにコンドームを渡して避妊は男の責任だと伝えてくれた。本人の反省からのメッセージだと考えていたし、他の亡父の逸話からも彼には隠し子、つまり私の兄か姉がいるものだと思っていたが、葬儀には現れなかったし、特に訴訟も聞いていない。
0
4
33
学部生のいう「自身の老化(老けたわー、みたいな)」は単なる不摂生です。とくに一人暮らしを大学入学と同時に始めたばあい、栄養バランスが崩れてること請け合いです。
0
6
33
『自然演繹100題ノック』という教材を作りました。無料でご覧になれますので、ぜひ挑戦してみてください。 四つの論理体系で、自然演繹の証明図を書いていただくという趣向です。
0
11
32
私たちのグループは中間述語論理をはじめとする非古典述語論理の良い振る舞いをする証明体系を構成しcut消去や補完定理などが成り立つかを調べ、Curry-Howardの観点からそれらの計算機的内実を調べることを目標としています
1
4
31
昨日は妻にコートと靴を買いました。さいきん妻はトラブルに巻き込まれた上に鬱転してて元気がないので、気分転換になったならよかったと思うけど、どうでしょうか。
画像は、買ったコートを羽織り買った靴を履く妻です。手を組むのはどうかと思うけど、それ以前に上手に写真を撮れるようになりたい。
4
0
31
「大学で数学は哲学になる」という主張をする数学科の大学生を見たことはありませんが、どちらの学問もかじった身としては端的に両分野に失礼だと思いますので、ネタでも言わないほうが品性のためです
0
5
30
気が付かないうちに数学セミナーの2024年3月号が出ており、巻末を確認していただければ、2024年4月号のなんと巻頭に私、川井 新がほか2名の方と取り扱っていただけることがわかると思います。乞うご期待
1
8
28
数学は比較的独習可能な学問です。しかも、職業的数学者にならずとも数学の独習は一生の暇つぶしになります。しかし、初学者がいざ数学書を手に取っても慣れない記法や独特の言い回しなとでなかなか独習できないものです。 本クラスが提供するのは、教養=一生の暇つぶしとしての数学の素養なのです
0
5
28
自然演繹100題ノックという教材を作りました。論計舎web shop より無料にてDLいただけます。ただいま第5版がDL可能です。
証明可能な論理式に関する自然演繹の証明図を100個書いていただこうという趣旨です。
ぜひ挑戦してください。
0
7
30
正多面体が5種類しかないことの証明は、平面を多角形分割すると一つの頂点を囲む内角の和が2π未満であることを認めれば容易だが、これを証明するのは非ユークリッド幾何の歴史を鑑みても一筋縄でいかないことが納得でき、実際にフォーマライズしようとしてみて困難を覚えた。
0
5
28
ここで塾長が「私は頭が悪いので難しい言葉を使わないで説明してもらえますか？」と仰ったので「そうですか」と自分を抑えて答えた。あとで知人からこの返答は失礼だと聞かされた(申し訳ないです)。ただ私は「自分は頭が悪い」と他人に断る人間が大嫌いなのでこの辺りから態度を硬化させてしまった。
1
6
29
私を馬鹿にするのはかまいませんが理科大・同志社を馬鹿にする人は人間を疑います。ましてや個人と学校歴を切り離せない人は軽蔑します。
1
0
27
それは、教員・講師が生徒に権力者として接するために「不正解/減点」らという措置をとることが有益でありその謂わば減点できる機会を増やすために作られた教義が「掛け算に順序がある/式には意味がある」といった考え方でおる、ということである。
1
8
28
私は論計舎
@ronke1sha
のオンライン家庭教師業で身を立てながらなんとか独立研究者として数理論理学・計算機科学の分野で仕事をしたいと思っております。論計舎では自身の専門分野つまり「論と計」に関心を持つ人にそれらを伝えております。
1
6
23
この物差しは引き算をうまく使うことで1cm-18cmまでの整数の長さを測ることができます。たとえば9cmは11と2の差を見たらよいわけです。無限の長さの素数ものさしは長さを1cm単位で測ることができるでしょうか？
1
3
26
この告知画像のラップバトル圧に負けて「しない」と言い張るうちに、しないしない詐欺だと勘違いする人や端的にラップバトルだと誤解する人が現れ始めている。
1
6
24
「地頭ガチャ」なる単語がTLで散見され、中世日本の農民たちが「泣く子と地頭には勝てぬとはよく言ったものだが今回変わった地頭は特に年貢の取り立てが苛烈だ」みたいに嘆いている様子がよくわかる
0
1
25
環の公理論的定義を始めて与えたのは、フレンケルで、Journal für die reine und angewandte Mathematik (A. L. Crelle), vol. 145, 1914. におけるエッセイの中で述べている。1921年にはネーターが、彼女の記念碑的論文「環のイデアル論」において、可換環論の公理的基礎付けを初めて与えている。
そういえば「環」の公理系をきちんと明文化したのって誰なんだろう。自分だったら「乗法の可換性」は絶対に入れてしまっただろう。あの時代に環の公理系に可換性外すの地味だけど凄いと思う。
1
2
52
2
3
23
『自然演繹100題ノック』という教材を作りました。無料でご覧になれますので、ぜひ挑戦してみてください。 四つの論理体系で、自然演繹の証明図を書いていただくという趣向です。
0
12
24
実物を見るまで半信半疑でしたが、『数学セミナー』4月号に私が参加した鼎談が掲載されてます。日本評論社さま、担当者さま、藤田先生、静間さま、ありがとうございました。また明日2024/03/13きちんと論計舎の方でtweetすると同時にせっかくなのでキャンペーンの告知をいたします。お待ちください。
0
10
23
『コンピュータは数学者になれるのか？』（照井、青土社）
教科書ではないのでこれで数理論理学や計算機科学を理解できるものではないが、どういう話題がありどういう関心で研究されているのか知るには最適
0
2
20
YouTubeなどで無償公開されている(日本語の)大学講義をご存知の方、分野・領域問いませんので、ご教示ください。一覧を作ろうと思っております
2
9
19
自分の専門・関心の紹介に時間をとりすぎて全然座談会ではありませんでした。準備をしてなかったもので紹介がうまくできなかった反省はありますが、本日使ったスライドの一部を共有させていただきます。 #論理と積分にかかる虹
0
2
20
これは私がコレスポ（問い合わせ先）である目下頑張っている研究プロジェクトのproceeding論文です。私が在野研究者であるということを疑っている方やどういう研究をしているのか気になる方はぜひお読みください。
1
4
19
「古典論理? 強いよね。双対性、二値性、自然さ、隙がないと思うよ。だけど……俺負けないよ。え〜、Curry-Howard対応たちが躍動する俺の中間論理を、皆さんに見せたいね。」
0
6
20
論計舎webシンポジウム「情報産業における数学・論理・計算」を公開しました。このシンポジウムは、論理と計算の数理を中心とした研究者と、数学の産業への応用に関心を持つ企業との、緩やかな交流の場を提供することを目的としています。無料ですのでお気軽にご登録ください
1
14
21
計算用紙の中から「重要」と書かれた、去年付の領収書と請求書が詰まったクリアファイルが出てきたのだが、見なかったことにはできないよな。
1
0
19
Zornの補題が選択公理から従うことの証明を生徒さんに紹介しました。絶賛いただき、私が数学科学部一回生の頃に苦戦したこの証明を伝えられたことに感無量でございます。
0
1
19
いただいた質問「線形代数を学ぶのに高校数学からやり直す必要はありますか？」
一般的な持論を述べますと、先に線形代数の本を読み始めて必要に応じて高校数学をつまみ食い的にやり直せば良いと思います。ただどこをやり直せばよいのか今線形代数で詰まっているのか基礎知識が不足してるのかの判断1/n
1
10
19
妻「何してるの？」
私「Twitter見てる」
妻「Xでしょ！」
私「そんなくだらないことを言いたかったの？」
妻「ずっとタイミングを待ってた」
1
0
18
数理論理学は数学における「推論」を形式化し、それ自身を数学の対象とする取り組みです。
「推論の形式化」はFregeに、「数学の推論自身を対象とする数学=超数学」はHilbertに端を発しています。
数学における証明や論理式をメタ的に眺め、証明や論理式自体に内在する性質を知ります。
0
1
18
私たちの研究グループは中間述語論理をはじめとする非古典述語論理の良い振る舞いをする証明体系を構成しcut消去や補完定理などが成り立つかを調べ、Curry-Howardの観点からそれらの計算機的内実を調べることを目標としています
1
6
16
Mathpedia の記事を読んだりYouTube解説を見たりするだけでは補えない理解を対話を通してえられるのがオンライン家庭教師です！ 私は今Mathpediaライターさんたちの家庭教師業務のマネジメントを承っています。家庭教師で数学を学んでみたい
0
9
18
京都の丸善では『プログラミング言語の形式的意味論入門』は数学でなくコンピュータの棚にあるのだな (さらにはコンピュータの棚と数学の棚は離れている)
1
3
17