Atsushi Igarashi (@50storms) profile picture
Kyoto, Japan
Joined September 2009
Photo by Atsushi Igarashi (@50storms)Photo by Atsushi Igarashi (@50storms)Photo by Atsushi Igarashi (@50storms)Photo by Atsushi Igarashi (@50storms)Photo by Atsushi Igarashi (@50storms)Photo by Atsushi Igarashi (@50storms)Photo by Atsushi Igarashi (@50storms)Photo by Atsushi Igarashi (@50storms)Photo by Atsushi Igarashi (@50storms)
Atsushi Igarashi retweeted
6/13 (木) 13時-14時 情報処理学会 第149回プログラミング研究発表会 招待講演枠で「Rust から広がるソフトウェア検証・テストの新展望」という題で話します🦀 オンライン開催で参加費無料です、皆さまぜひ気軽にお越しください sigpro.ipsj.or.jp/pro2024-1/
1
18
4
67
36,005
Atsushi Igarashi retweeted
NII関山研ではプログラミング言語・プログラム検証に興味のある学生を募集しています。簡単な質問でもいいのでDMなりメールなり(researchmap.jp/t-sekiym に載ってます)で気軽にご連絡ください。 以下参考情報が続きます (1/n)
1
29
1
26
9,497
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!
15
45
4,362
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.
8
1
9
3,476
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…
1
18
1
20
4,517
東京大学情報盤センターのセンター長が交代し、今年度からは千葉滋教授がセンターを率います。千葉センター長の挨拶を情報基盤センターホームページに掲載しました。新体制の東大情報基盤センター、今後ともどうぞよろしくおねがいします! itc.u-tokyo.ac.jp/about/gree…
27
6
64
15,755
Atsushi Igarashi retweeted
Replying to @50storms
こんな感じです。路面は平気ですが上からわんさか降ってます。
2
1
2
894
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/… λλλ
39
3
75
13,621
Atsushi Igarashi retweeted
先程APLAS 2024 at 京都の1st CfPが出ましたが、今年もSRC & Postersがあります。日本開催のPL国際会議で発表できる貴重な機会です。学生の方々はぜひSRCに応募しましょう。(賞金も出るかもしれません。)学生でない方もポスターの投稿をぜひご検討ください。 conf.researchr.org/track/apl…
1
13
2
18
5,414
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…
5
5
885
Atsushi Igarashi retweeted
テクノユニット、O.M.Y.(Oriental Magnetic Yellow)。当時ナムコに在籍していたゲーム音楽作曲家たちで結成されてから2024年で30周年を迎えます。これを記念して彼らの6作品がリマスター再発決定。3月20日発売 amass.jp/172595/
144
15
363
52,102
Atsushi Igarashi retweeted
The sun never sets on the PLClub empire #BCP@60
1
8
57
6,427
Atsushi Igarashi retweeted
拡散希望。以下の通り、「第2回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップワークショップ」を開催します。開催案内にまだ記載していませんがリモート参加も可能です。 sc-sys.github.io #セキュリティ #ローレイヤ #RISCV #TEE #形式検証
6
12
1,721
職場のアメリカ人が「日本人の名刺に書いている名前の漢字の意味を知りたい」と言うので 五十嵐は Fifty storm 白石は White stone 大友は Big friend 佐藤は Sugar と教えたら"Cooool!"と言って喜んでたのにワイ(山口)は"Mountain mouth"と教えたら爆笑されたので心からカッコいい苗字に改名したい
451
3,116
744
29,555
4,382,638
Atsushi Igarashi retweeted
Here comes the APLAS week! We are happy to see everyone arriving for #APLAS2023!
2
6
1,054
Atsushi Igarashi retweeted
How profs spend their time
46
1,276
242
6,697
2,180,513
公開しました : 場所当てゲーム「GeoGuessr」 のすごいプレイヤーに話を聞いた (三土たつお) #DPZ dailyportalz.jp/kiji/geogues…
209
5
261
49,592