自己紹介などの詳しいプロフィールは、つながりをリクエストして承認されると表示できます。
博士(学術)。アスペクト指向プログラミング、部分計算、自己反映計算、意味論、型システム、コンパイラ。
リアルタイムフォトリアリスティックレンダリング、境界アンチエイリアシング法
Haskell
Java
Scala
Python
プログラミング言語処理系
アプリをインストールして、知り合いの最新の活躍をフォローしよう