Twitter Hiroyasu Kamo ((φ→ψ)→φ)→φ kamo_hiroyasu | Hiroyasu Kamo ((φ→ψ)→φ)→φ (@kamo_hiroyasu) のツイート

アルファツイッタラーとかアルファブロガーとか論客とかハッカーとか、他人が勝手に認定して呼んでくるものなので、そういうのを自称する人は生暖かい目で見ざるを得ない

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

1000円万年筆を愛用していますが、胴軸やキャップの耐久性がお値段相応で、何度か同じ品を買っています。首軸は壊れたことがなく、ペン先は手になじんでいるのを使い続けたいので、首軸を入れ替えて使っています。未使用の首軸がたまります。

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

初期のドラえもんではタイムパトロールは時間逃亡犯を追いかけるだけで歴史改変を取り締まってはいませんでした。あるところから歴史改変を取り締まるようになりました。これこそドラえもんによる歴史改変の結果だとの説を思いついたのですが、どうでしょう?

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

浄土真宗の教義についてぐぐると高い確率で親鸞会の書いた文書を拾って危険です。真宗十派のどれかの本山または末寺が書いたものか確認しましょう。

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@esumii 浄土教(浄土宗・浄土真宗・時宗・融通念仏宗など)は現世利益をとなえていませんので、阿弥陀仏の慈悲の力で情報を得ることは期待薄と思われます。

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@esumii 他力本願は歴史的には自力本願の否定として出てきたものです。荒業や加持祈祷卜占の類を一切否定して、そんなものに頼るなという教えです。

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@esumii 「他力本願」の「他力」は阿弥陀仏の慈悲の力のことですので、頼る相手が人間なら誤用です。また、阿弥陀仏に頼ればなんとかなるという意味でもありません。hongwanji.or.jp/mioshie/words/…

中学の数学教師が二次方程式の解の公式の導出ができないのは論外だが、上位の生徒より劣るのは仕方ないだろう。数学に関しては、教師より優秀な生徒は割といるだろう。

 教員はそういう生徒の邪魔をしない、妬まない、いじめない、余計なことし… twitter.com/i/web/status/1…

寿限無が頭に浮かんだのは私だけじゃなかった twitter.com/kamo_hiroyasu/…

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@hobbit_mak 「長い直線」という名称の多様体があるのです。直線よりも長いです。yamyamtopo.wordpress.com/2015/09/17/%EF…

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@kadamasaru ですね。論理学I カット除去定理と完全性定理まで(クレイグの補間定理とコンパクト性定理も含む)、論理学II 不完全性定理(簡単な応用を含む)まで でどうでしょう。

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

図中の「計算数理」というのが数値解析とも計算機代数とも計算論とも解釈できますが、どれなんでしょう? twitter.com/Sz79QT75pwhmYe…

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@Infinity_topoi @MarriageTheorem 以前の版よりもスッキリしています。

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@mimon01 「長い直線」という名称の多様体があるのです。直線のうちで長いもののことではありません。planetmath.org/longline

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

「長い直線」って語呂が悪いから「長直線(ちょうちょくせん)」ではどうでしょう。いっそ、「長久直線」とか。

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@kadamasaru 「論理学」は三大基本定理(カット除去定理、完全性定理、不完全性定理)は一通り扱いたいところです。

そうなんです。女性保護者のアカウントは、ほぼ教育関係者に攻撃されてますね。

学校現場のいじめと同じ構造で、教員の攻撃性は子どもの頃から見抜いていて、学校嫌いの一つでもありました。 twitter.com/ki_ta_ma_ku_ra…

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

@daemon1995 @kkaigai 昔、NetBSDのカーネルソースを読む授業をしたことがありますが、sys/proc.h から読み始めました。

Jxkn2tpg reasonably small
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu

「集合論は素朴集合論と公理的集合論に大別される」は前TWの観点を含めて多重に間違っていますが、なにより数学教育的にも有害なので、撲滅が望まれます。