Twitter(自称)凍結解除された

なんか、

Shinji Konoさん
ご利用のアカウント（shinji_kono）は、Xルールに違反していることがシステムにより検出されたため、自動的に凍結。
具体的な内容は次のとおりです。
偽装アカウントを禁止するルールに違反しています。

とかいわれたんですが、英語で文句つけたら、翌日には解除されました

いや、大学のaccountで、ずーっと使っているし、大学には籍はもうないのだが、account は、そのまま残るはず

そこをついた反順序がいるんだろうな。議論で勝てないから、こういうことをするわけね

まあ、 「ごめんなさい」メールくらい送れよと思わなくもないですけどね

𝕏 は、こんな脅しでも、ある程度、効果があるのでやらないといけないってことなのか?

バス乗り間違えた

おもろまちで、98のバスが来る。「お、いるじゃん」で走って乗ったら

　古島で、330を降って、パイプラインへ

え〜って、55番のバスじゃん。デジタル表示のバスなので見間違えました

98番は、そこから先に〜　さようなら〜

まぁ、ぐるぐるまわって、58号にでるだけだが

ゆっくり、ingress はできました
-

博多で見かけたもの

今回はぐるぐるかな

そんなに食べられるのかって感じですが、一人十本?!

まぁ、そんなものかも

与

中洲のスナック。割と適当に入ったのだが

　年配のママが一人でやってるお店、35年だって

で、しばらく唄って帰ったんですが、まわりは、お兄ちゃんとおかまさんのお店ばっかりだったらしい

危なすぎる。いや、盛り塩してあったので、そこに入ったのが正解だったらしい

九州大学

伊都キャンパスのガイ∙ ダニエルと話してきました

プレゼンする見たいな話は、じゃかんすれ違いがあってなかったことに。まぁ、あんまりやりたくなかったのかも

実際あってみると「日本語は簡単なものだけ」ってことで、英語で話すことに

いや、日本人の奥さんなのに? まぁ、問題はない

関数型言語 Maude の話とか、その上の定理証明系の話をするんだが、Curry Howard 対応じゃないのか

どうも彼がいうには

　代数的プログラミングと、論理系(Curry Howard対応)は異なる

って話でさ。ふーん。いや、それは関係ないだろって僕は思ったが

なんか、モデルベースのForcingもやってるんだが、そんなこんなでずれがあって。まぁ、それが面白い

ZF/ZFC の話もしたんだけど、割とずれてたみたい

もともと JAISTの学生だったのね。まぁ、いろいろ楽しかった

まだ、しばらくは博多にいます

来週は博多

なんか、九大の先生とお話にいきます。火曜日から金曜日(2/24-2/27)

別に仕事というわけでもないのだが、なんか、プレゼンはするらしい

真栄原公民館

なんか、奥が工事されてて更地に

ってことは、裏から抜けられる! ということで、若干、近道可能に

なんか、そのあたり、道になりそうな気もするが、まぁ、だいぶ先だろう

あと、意味のわからない看板シリーズ