坂井 公

J-GLOBALへ         更新日: 17/10/05 02:52
 
アバター
研究者氏名
坂井 公
eメール
ksakaimath.tsukuba.ac.jp
所属
筑波大学
部署
数理物質系
職名
准教授
学位
理学博士(東京工業大学)

研究分野

 
 

経歴

 
1978年4月
 - 
1982年9月
日本電気(株) 金融業営業部 担当員
 
1982年10月
 - 
1985年5月
(財)新世代コンピュータ技術開発機構 研究員
 
1985年6月
 - 
1992年3月
(財)新世代コンピュータ技術開発機構 主任研究員
 
1992年4月
 - 
1995年3月
筑波大学 電子・情報工学系 講師
 
1995年4月
 - 
2007年3月
筑波大学 数学系 助教授
 

学歴

 
1969年4月
 - 
1972年3月
神奈川県立希望が丘高等学校  
 
 
 - 
1976年3月
東京工業大学 理学部 情報科学
 
 
 - 
1978年3月
東京工業大学 理工学研究科 情報科学
 

委員歴

 
2008年
 - 
2008年
日本数学会  代議員
 
1996年
 - 
1999年
日本ソフトウェア科学会  理事
 

論文

 
「多数決」の数学的モデルによる解析と評価(F分野:人工知能・ゲーム)
三浦, 章; 坂井, 公; 金井, 貴
情報科学技術フォーラム講演論文集   12(2) 393-394   2013年8月
A complete axiom system for rational sets with multiplicity
M., Morisakai;K., Sakai
Theoretical Computer Science   11 79-92   1980年1月   [査読有り]
Overall design of SIMPOS
S., Takagi;H., Hattori;J., Tsuji;S., Uchida;T., Kurokawa;K., Sakai
2nd International Conference on Logic Programming      1984年1月   [査読有り]
Incorporating naive negation into Prolog
T., Miyachi;K., Sakai
Lecture Note on Computer Science   220 130-143   1984年1月   [査読有り]
DCGのボトムアップ型構文解析アルゴリズムの新方式について
坂井公
The Logic Programming Conference '86   13-18   1986年1月   [査読有り]

書籍等出版物

 
遊びの探索
山崎秀記;坂井公;田中裕一;町田元 (担当:単訳)
日経サイエンス   1989年9月   
制約論理プログラミング
坂井, 公
共立出版   1989年11月   
遊びの発見
山崎秀記;坂井公;田中裕一;萩谷昌己;町田元 (担当:単訳)
日経サイエンス   1992年4月   
スチュアート教授のおもしろ数学入門
山崎秀記;坂井公;田中裕一 (担当:単訳)
日経サイエンス   1993年12月   
A study on Bodean Constraint Solver (jointly worked)
坂井, 公
The MIT Press   1993年1月   

競争的資金等の研究課題

 
計算論
符号理論
組み合せ的ゲーム理論