すごい、「型」という言葉を使わずにgradual typingの話をしている…

ちなみに僕はこのスペースに入るドアの前辺りでオートマトンはいいぞという話をします

今年のオープンハウスハウスは子ども向けスペースが確保されている t.co/AbQlQRp4Di

Java, 型エイリアスがないのか...

今年度の学振DCは研究費増額!(多分突然の100億予算増のおかげ) - 逆にこの時確かにそうなる。 t.co/HyzvrqngDB

某国賓かも知れないが同じような車が多すぎてわからんかった t.co/ZEK6kw602P

ロボコン引退と同時にロボコンと同じ熱量で研究を始めると圧倒的進捗でそのままD進するということが知られている(というのは僕の経験ではないです。少なくとも秋まで研究やってなかったので)

普段生きてる世界線だとMBDが割と当たり前だし当然シミュレーションも回しまくるけど、少なくとも我々の時代のロボコンではCADも怪しい(イナーシャとか当てにならない)し、ソフトウェアテストもあんまりしっかりしてなかったしな

曲がりなりにもシステムが正しく動くという辺りの研究をやっているし、一方でロボット周りの直感は衰えまくっているので、ロボコンに対する見方も変わるわな

モントリオールの食クオリティで辛くなる人、北米だと生きていけなそう(僕の中で他の北米よりかなりいい)

決勝で同点、得点の早かった京都が150点で勝利。おめでとう #ロボコン

早稲田、投擲が飛びすぎる #ロボコン

シャガイが投げられない #ロボコン

今年の京大の安定感、かなり凄いぞ #ロボコン

ちなみにconcurrencyは普通に難しい

ちなみに、15年ぶりでこの完成度な京大、尋常じゃなく強いからな #ロボコン

Show older
mstdn.jp

Mastodon日本鯖です. よろしくお願いいたします。 (Maintained by Sujitech, LLC)