鴨 浩靖
カモ ヒロヤス (Hiroyasu Kamo)
更新日: 2023/08/05
基本情報
- 所属
- 奈良女子大学 准教授
- (兼任)
- (兼任)
- 学位
-
博士(情報学)(京都大学)理学修士(京都大学)
- J-GLOBAL ID
- 200901013182023356
- researchmap会員ID
- 1000033776
- 外部リンク
ガウスの弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子です。
研究キーワード
3研究分野
2学歴
3-
1991年4月 - 1992年4月
-
1989年4月 - 1991年3月
-
- 1989年
論文
4-
Electronic Notes in Theoretical Computer Science 120 73-82 2005年2月3日 査読有り
-
326 149-159 2005年 査読有り
-
272(9) 157-164 2000年 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 45(1) 23-30 1999年 査読有り
MISC
5-
電気学会情報処理研究会資料IP-97-15 17-22 1997年
-
人間文化研究科年報 12(12) 135-150-150 1996年
-
情報処理学会研究報告アルゴリズム(AL) 96(100) 1-8-8 1996年
-
信学技報 91 93 1991年
書籍等出版物
1-
オーム社 1995年
講演・口頭発表等
4-
代数, 論理, 幾何と情報科学研究集会 (ALGI26) 2015年8月
-
SLACS 2014 (記号論理と情報科学 研究集会) 2014年5月 記号論理と情報科学 研究集会
-
第二十三回 ALGI(代数,論理,幾何と情報科学研究集会) 2012年9月
-
SLACS 2012 (記号論理と情報科学 研究集会) 2012年9月