Kyoto, Japan
Joined September 2009
- Tweets7.6K
- Following196
- Followers1.1K
- Likes1.8K
Pinned Tweet
[募集] プログラミング言語研究をセキュアIoTシステム構築に活かしたいポスドク募集してます hackmd.io/@aigarashi/Recruit…
(ここに書いてあるプロジェクト以外に、gradual typing まわりでもポスドク募集してます。）
Atsushi Igarashi retweeted
🇺🇸 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…
Atsushi Igarashi retweeted
コロナ禍のあおりもあり活動休止状態の「京大情報学研究科同窓会）を立て直していきたいのだけど、手伝ってくれるOBさんとか教員さんとかいたらお声がけくださいませ〜🫡（実は結構前からずっと理事なんです……）
alumni.i.kyoto-u.ac.jp/
Atsushi Igarashi retweeted
6/13 (木) 13時-14時 情報処理学会 第149回プログラミング研究発表会 招待講演枠で「Rust から広がるソフトウェア検証・テストの新展望」という題で話します🦀
オンライン開催で参加費無料です、皆さまぜひ気軽にお越しください
sigpro.ipsj.or.jp/pro2024-1/
Atsushi Igarashi retweeted
NII関山研ではプログラミング言語・プログラム検証に興味のある学生を募集しています。簡単な質問でもいいのでDMなりメールなり（researchmap.jp/t-sekiym に載ってます）で気軽にご連絡ください。
以下参考情報が続きます (1/n)
Atsushi Igarashi retweeted
I'm excited to announce a new SPLASH workshop: JENSFEST 2024! in which we celebrate the career of the one and only Jens Palsberg.
To honor him, we are looking for paper submissions and extended abstracts for papers that have high "Jensness". Consider submitting!
Atsushi Igarashi retweeted
Hey PL students, do you want to submit your work to APLAS 2024 Student Research Competition? Call for Submission is now open. conf.researchr.org/track/apl… Also, we have poster session not restricted to students.
Atsushi Igarashi retweeted
A good think about Kyoto that may not be mentioned in a usual travel guide: You can see a huge salamander if you are very lucky. Submit to APLAS 2024 and come to Kyoto! conf.researchr.org/home/apla…
Atsushi Igarashi retweeted
先日開催した『PPL 2024 非公式ふりかえり会』の文字起こしレポートを公開しました！
好きなプログラミング言語は？PPL初参加で感じたこと【PPL 2024 非公式ふりかえり会 文字起こしレポート前編】 - STORES Product Blog product.st.inc/entry/ppl2024…
Atsushi Igarashi retweeted
東京大学情報盤センターのセンター長が交代し、今年度からは千葉滋教授がセンターを率います。千葉センター長の挨拶を情報基盤センターホームページに掲載しました。新体制の東大情報基盤センター、今後ともどうぞよろしくおねがいします！
itc.u-tokyo.ac.jp/about/gree…
そういや昔、ikeaordeath.com/ ってあったな〜と思ったら、アクセスできなかった🥲
YouTubeに紹介動画がありました。 youtu.be/oUS_YCh-F7A?si=Llk6…
イケアの商品名は難しすぎる！と同時にポケモンの名前っぽくない？と気づいたのでクイズにしたら盛り上がりました。
次のうちポケモンはどれでしょう？
エネビー
スモーグリ
シケルバナ
リンゴール
ゴーナット
クイズ！イケアの商品でしょうか？ポケモンの名前でしょうか？ dailyportalz.jp/kiji/quiz-ik…
Atsushi Igarashi retweeted
λλλ APLAS 2024 will be held in Kyoto, which is a beautiful city known for the sacred Mt. Lambda🔥 Details on the mountain: wwwfun.kurims.kyoto-u.ac.jp/… λλλ
Atsushi Igarashi retweeted
先程APLAS 2024 at 京都の1st CfPが出ましたが、今年もSRC & Postersがあります。日本開催のPL国際会議で発表できる貴重な機会です。学生の方々はぜひSRCに応募しましょう。（賞金も出るかもしれません。）学生でない方もポスターの投稿をぜひご検討ください。
conf.researchr.org/track/apl…
Atsushi Igarashi retweeted
The 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024) Call for Papers is now out. Please consider submitting your wonderful work! conf.researchr.org/home/apla…