鹿島 亮
カシマ リョウ (KASHIMA RYO)
更新日: 2020/09/01
講演・口頭発表等
10
表示件数
-
日本数学会 数学基礎論分科会 講演アブストラクト 2009年
-
日本数学会2007年度年会 2007年
-
日本数学会年会 2006年
-
1st World Congress on Universal Logic 2005年
-
1st World Congress on Universal Logic 2005年
-
日本数学会2004年度秋季総合分科会 2004年
-
International Workshop on Rewriting in Proof and Computation (RPC'01) 2001年
-
International Workshop on Rewriting in Proof and Computation (RPC'01) 2001年
-
日本数学会2001年度秋季総合分科会数学基礎論分科会 2001年
-
日本数学会 数学基礎論分科会 1999年度年会 1999年