坂井 公
サカイ コウ (Sakai Ko)
更新日: 2022/09/23
基本情報
研究分野
1経歴
7-
2007年4月
-
1995年4月 - 2007年3月
-
1992年4月 - 1995年3月
-
1985年6月 - 1992年3月
-
1982年10月 - 1985年5月
-
1978年4月 - 1982年9月
学歴
3-
- 1978年3月
-
- 1976年3月
-
1969年4月 - 1972年3月
委員歴
2-
2008年 - 2008年
-
1996年 - 1999年
論文
23-
Journal of Information Processing 26 345-349 2018年1月1日
-
情報科学技術フォーラム講演論文集 12(2) 393-394 2013年8月
-
Journal of Symbolic Computation 46 633-632 2011年1月 査読有り
-
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES 42(2) 383-390 2006年6月 査読有り
-
Publications of the Research Institute for Mathematical Sciences 42(2) 383-390 2006年1月 査読有り
-
コンピュータソフトウェア 18(3) 271-275 2001年5月 査読有り
-
コンピュータソフトウェア 14(2) 180-184 1997年3月 査読有り
-
情報処理学会論文誌 36(5) 1192-1202 1995年1月 査読有り
-
情報処理学会論文誌 35(1) 127-142 1994年1月 査読有り
-
情報処理学会論文誌 34(11) 2242-2250 1993年1月 査読有り
-
電子情報通信学会論文誌D-I J76-D-I(3) 130-138 1993年1月 査読有り
-
Lecture Note on Computer Science 572 197-209 1992年1月 査読有り
-
コンピュータ・ソフトウェア 8(3) 33-54 1991年1月 査読有り
-
The Logic Programming Conference '91 73-80 1991年1月 査読有り
-
Pacific Rim International Conference on Artificial Intelligence '90 490-495 1990年1月 査読有り
-
Journal of Symbolic Computations 8 589-603 1989年1月 査読有り
-
10th International Joint Conference on Artifitial Intelligence 490-495 1987年1月 査読有り
-
Future Computing Systems 1(1) 3-12 1986年1月 査読有り
-
International Conference on Data Engineering 1986年1月 査読有り
-
The Logic Programming Conference '86 13-18 1986年1月 査読有り
書籍等出版物
14-
2016年6月
-
WAVE 出版 2016年5月
-
日経サイエンス 2014年12月
-
日本評論社 2012年7月
-
岩波書店 2011年7月
-
岩波書店 2011年7月
-
日本評論社 2011年7月
-
講談社 2005年2月
-
日経サイエンス 1995年6月
-
日経サイエンス 1993年12月
-
The MIT Press 1993年1月
-
日経サイエンス 1992年4月
-
共立出版 1989年11月
-
日経サイエンス 1989年9月