情報学 何でもみえるロボットの“目”の実現を目指して―LTMスパース推定による三次元計測― 2019.03.23 chiba_naoya はじめまして．東北大学大学院情報科学研究科 橋本研究室に所属している，博士後期課程1年の千葉直也と申します． …
情報学 型システム 〜プログラムの安全性を支える数学〜 2018.12.09 yu_igarashi 京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論…
情報学
情報学
