Atsushi Igarashi

[Atsushi Igarashi @50storms]

[募集] プログラミング言語研究をセキュアIoTシステム構築に活かしたいポスドク募集してます https://t.co/A9mB0qX1Mf
(ここに書いてあるプロジェクト以外に、gradual typing まわりでもポスドク募集してます。）

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[BBC Music Magazine @MusicMagazine]

🇺🇸 As Philadelphia's Curtis Institute marks its centenary, Charlotte Smith visits the elite music school to discover the secrets of its success
https://t.co/u4ec0XdPbK

[Atsushi Igarashi @50storms]

@esumii ふつうでは :-)

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

@ksuenaga どんなデマ？？

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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

[Atsushi Igarashi @50storms]

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