Atsushi Igarashi

[募集] プログラミング言語研究をセキュアIoTシステム構築に活かしたいポスドク募集してます @aigarashi/RecruitingPD4ZTIoT" target="_blank" rel="nofollow noopener">hackmd.io/@aigarashi/Rec… (ここに書いてあるプロジェクト以外に、gradual typing まわりでもポスドク募集してます。）

@esumii 魏志倭人伝によると、末廬国から陸を東南に500里進んだ地、とのことですが…

x.com/esumii/status/… 「伊都」ってどこなんですか（危険話題？

このあいだ伊都キャンパスに行ったから何か見てくればよかったんだろうか（複数のオンライン委員会と並列でそんな暇はなかったですが）＞刀伊の入寇

@Dr_Kano 円谷英二が福島県出身だったような気がします。（Wikipedia みたら（現在の）須賀川市生まれとありました。）

福島ってウルトラマン推し？

朝からサウナに行ってきた。連日食べ過ぎのため、福島満喫の朝食は抑え気味で。今日も学会参加。しっかり勉強しよう。 自動制御連合講演会は明朝からの参加です。福島→姫路。

@a_kawashiro ありがたくいただきます！

@a_kawashiro 学生の発表スライドの話をしてるみたいだ 😅

インサイド Windows は 「xxx」という節の直後に 「xxx」とは何かという説明が来ていないのが不満

これは面白い

@Dr_Kano 25年前の話ですが、徒歩で回転ドア通って国境越えしました。越えたらいきなり街がボロボロになるのでビビりました。 日本語で「シャチョーさ〜ん、ビンボープライスよ〜」という怪しげな客引きをするお土産屋さんばっかりあるところで、小一時間ですぐに飽きて帰ってきました ;-)

アメリカとメキシコの国境は、人も車も凄い数が行き来している。🇺🇸側の町はサンイシドロで、ほぼメキシコ。ヒスパニック系がほとんどで、店などでの会話もスペイン語。🇲🇽側の町はティファナ。行っていないので雰囲気はわからない。

見付けたぞ。 パンダエクスプレスのオレンジソースを。 お土産ミッションクリア！ 自宅でオレンジフレイバードチキンを作ったら子供らに違うと言われたから買って来いという指令が来ていた。

@OKU_K あ、知らん人ばっかりだなと思ったらここは新設選挙区なんですね。

@yudai_TNB テレンス・タオさんが使い始めているらしい、みたいな話は大きいんじゃないかな、と。（それがなぜ Lean だったのかはよく知らないですが。）

最近、専業数学者のツイートでLeanに触れてるのをよく見るので、本格的な普及期なのかもしれない。なぜ長い研究の蓄積とライブラリ資産があるCoq/MathComp, Agda, Isabelle/HOL, ACL2ではなくて（ドキュメントも未整備がちな）Leanが選択されるのかはよくわからない。

🇺🇸 As Philadelphia's Curtis Institute marks its centenary, Charlotte Smith visits the elite music school to discover the secrets of its success classical-music.com/articles/curti…

@esumii ふつうでは :-)

x.com/esumii/status/… むむむ，たかがインフルエンザワクチン（）で少し腕の痛みと寒気が！　モモモで鍛えられた免疫力（）がファファファに甘やかされて（）弱ってきた？（※エビデンス無

ということで（何が），1時間強でインフルエンザ予防接種を予約して行って完了して帰ってきました．

@tanichu 事前に NZeTA とかいうのを取得しないとだめですよ〜

え？　ニュージーランドって今、ビザいるの？

@esumii ありがとうございます！

先日，MinCamlの生成するx86_32バイナリがWSLで動かない，とか口走りましたが，昔のWSL1のことで，今のWSL2では普通に動きました．失礼しました！＞@50storms さん

@OKU_K あれ、「あまちゃん」のときは？

@shinsa82 オリジナルをサンプリングしているかどうかはわからないんですが、オリジナルが “Tokio” なののパロディだろう、っていうこととクセのあるアクセントのおかげで僕は聞き取れました:-)

@50storms ますますわからないじゃないですかｗ (オリジナルをサンプリングしてる？)

TECHNOPOLIS の「ロシニョー」みたいな声が TOKIO だと知って衝撃 イヤホンで聞いたらわかるか？

I almost pay to view this citation...😂😂😂😂

@ksuenaga どんなデマ？？

@50storms 研究科長がそんなデマを流すとはけしからん

「45は素数ではありません。大学教員がそのようなデマを流すとはけしからん」みたいなリプライが来ないかなあと毎年自分の年齢を素数と言い張っているのだが、そんなリプライは来ない。

row/columnの区別はしばしば話題になるのに、join/meetの区別がほとんど話題にならないのはなぜなのか。

@suibaka 自転車にやさしくていいですね！（それにひきかえ京都は…🤔

駐車スペースの位置が違和感ありすぎる

@suibaka トイレ許可係に任命しよう。（誰かが研究室にいたらいなければいけないこっちの方がある意味ハード

@50storms 間違いないですね。次のセメスターから厳しく行きましょう

好きなときにトイレに行けるというナイーブな考えは捨てろ(自戒)