Info
Provide video lectures in computer science, which are Graduate and undergraduate level courses on Programming languages and Systems Profile of Atsushi Ohori Education: BA in Philosophy from University of Tokyo Ph.D. in Computer and Information Science from Univ. Pennsylvania Employment: Engineer and Researcher, Oki Electric Industry Co. Ltd. Researcher, Glasgow University funded by British Royal Society Associate Professor, RIMS, Kyoto University Professor, Japan Advanced Institute of Science and Technology Professor, RIEC, Tohoku University (until 2022) Professor Emeritus, Tohoku University Research and Software development: Type systems and programming languages ``Non-Cartesian semantics'' SML# architect and co-developer.
Stats
Joined Invalid Date
0 total views
Featured video
講義シリーズ（再生リスト）
講義シリーズ プログラミング言語の基礎理論 の紹介
411 views
コンパイラ ー原理と構造ー 第１回 講義の概要, 計算の原理と計算機の構造
3,982 views
「型推論」特別講義 第１回 (プログラミング言語の基礎理論シリーズ）
3,190 views
大堀淳の計算機科学チャネル紹介ビデオ
2,366 views
Windows PC上のプログラミング環境整備 第２回 「Linuxの活用」
1,975 views
非デカルト的意味論及び投機的計算論の可能性について
1,936 views
計算機システム概論第1回ビデオ教材
1,785 views
「情報の表現と計算の原理」第１回その１
1,524 views
「型推論」特別講義 第２回 (プログラミング言語の基礎理論シリーズ）
1,287 views
