現在地

坂井 公(サカイ コウ; Sakai, Ko)

所属
数理物質系
職名
准教授
URL
eメール
 
研究分野
情報学基礎理論
研究キーワード
理論計算機科学
組み合わせ論
代数
論理
研究課題
計算論 -- (現在)/
符号理論 -- (現在)/
組み合せ的ゲーム理論 -- (現在)/
逆形不偏ゲームの分類と戦略の研究                        2005 -- 2008日本学術振興会/基盤研究(C)3,670,000円
結合子項を用いた高階単一化アルゴリズム1997 -- (現在)日本学術振興会/萌芽的研究1,200,000円
自動定理証明におけるインタフェースの研究1996 -- (現在)日本学術振興会/基盤研究(C)900,000円
職歴
1978-04 -- 1982-09日本電気(株) 金融業営業部 担当員
1982-10 -- 1985-05(財)新世代コンピュータ技術開発機構 研究員
1985-06 -- 1992-03(財)新世代コンピュータ技術開発機構 主任研究員
1992-04 -- 1995-03筑波大学 電子・情報工学系 講師
1995-04 -- 2007-03筑波大学 数学系 助教授
2007-04 -- (現在)筑波大学 数理物質科学研究科 准教授
学歴
-- 1976-03東京工業大学 理学部 情報科学卒業
-- 1978-03東京工業大学 理工学研究科 情報科学修了
取得学位
1990-11理学博士東京工業大学
所属学協会
1999 -- (現在)日本数学会
1983 -- (現在)情報処理学会
2003 -- (現在)日本数学協会
1990 -- 2005日本ソフトウェア科学会
1997 -- 2007日本応用数理学会
論文
  • 「多数決」の数学的モデルによる解析と評価(F分野:人工知能・ゲーム)
    三浦 章; 坂井 公; 金井 貴
    情報科学技術フォーラム講演論文集/12(2)/pp.393-394, 2013-08
  • A complete axiom system for rational sets with multiplicity
    M. Morisakai; K. Sakai
    Theoretical Computer Science/11/p.79-92, 1980-01
  • Overall design of SIMPOS
    S. Takagi; H. Hattori; J. Tsuji; S. Uchida; T. Kurokawa; ...
    2nd International Conference on Logic Programming, 1984-01
  • Incorporating naive negation into Prolog
    T. Miyachi; K. Sakai
    Lecture Note on Computer Science/220/p.130-143, 1984-01
  • DCGのボトムアップ型構文解析アルゴリズムの新方式について
    坂井公
    The Logic Programming Conference '86/p.13-18, 1986-01
  • Deductive database system based on unit resoluiton
    H. Yokota; K.Sakai; H. Itoh; +坂井 公
    International Conference on Data Engineering, 1986-01
  • The correctness of two translation method from definite clause grammars into Prolog programs
    K. Sakai; H. Hirakawa; H. Yasukawa
    Future Computing Systems/1(1)/p.3-12, 1986-01
  • Complete inference rules for the cancellation laws
    J. Hsiang; M. Rusinowitch; K. Sakai
    10th International Joint Conference on Artifitial Intelligence/p.490-495, 1987-01
  • CAL : a theoretical background of constraint logic programming and its applications
    K. Sakai; A. Aiba
    Journal of Symbolic Computations/8/p.589-603, 1989-01
  • Application of the ideal theory to Boolean constraint solving
    K. Sakai; Y.Sato
    Pacific Rim International Conference on Artificial Intelligence '90/p.490-495, 1990-01
  • ブーリアングレブナー基底による集合制約の処理
    佐藤洋祐; 坂井公; 毛受哲
    The Logic Programming Conference '91/p.73-80, 1991-01
  • E単一化子の完全集合を求める推論規則
    大須賀昭彦; 坂井公
    コンピュータ・ソフトウェア/8(3)/p.33-54, 1991-01
  • Complete equational unification based on an extention of the Knuth-Bendix completion procedure
    A. Ohsuga; K. Sakai
    Lecture Note on Computer Science/572/p.197-209, 1992-01
  • 等式論理の帰納的定理を証明する手続き
    大須賀昭彦; 坂井公; 本位田真一
    電子情報通信学会論文誌D-I/J76-D-I(3)/p.130-138, 1993-01
  • Metis-ASにおける代数的仕様の検証手続き
    大須賀昭彦; 坂井公; 本位田真一
    情報処理学会論文誌/34(11)/p.2242-2250, 1993-01
  • プログラム生成システムPAPYRUS
    川田秀司; 坂井公; 藤田正幸; 白井康之; 大坪透
    情報処理学会論文誌/35(1)/p.127-142, 1994-01
  • 代数的仕様を用いたソフトウェア開発支援環境:Metis-AS
    大須賀昭彦; 坂井公; 本位田真一
    情報処理学会論文誌/36(5)/p.1192-1202, 1995-01
  • On flattness and tameness of classes fo impartial games
    T. Yamada; K. Sakai
    Publications of the Research Institute for Mathematical Sciences/42(2)/p.383-390, 2006-01
  • Boolean Groebner Bases
    Y. Sato; S. Inoue; A. Suzuki; K. Nabesima; K. Sakai
    Journal of Symbolic Computation/46/p.633-632, 2011-01
  • 「結合子による高階単一化」再考
    藤田 博征; 池田 浩; 坂井 公
    コンピュータソフトウェア/14(2)/pp.180-184, 1997-03
  • 標数2のある体上の代数方程式の求解
    藤田 博征; 高橋 孝一; 坂井 公
    コンピュータソフトウェア/18(3)/pp.271-275, 2001-05
  • On flatness and tameness of classes of impartial games
    Yamada Tatsuya; Sakai Ko
    PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES/42(2)/pp.383-390, 2006-06
著書
  • 遊びの探索
    山崎秀記; 坂井公; 田中裕一; 町田元
    日経サイエンス, 1989-09
  • 制約論理プログラミング
    坂井 公
    共立出版, 1989-11
  • 遊びの発見
    山崎秀記; 坂井公; 田中裕一; 萩谷昌己; 町田元
    日経サイエンス, 1992-04
  • スチュアート教授のおもしろ数学入門
    山崎秀記; 坂井公; 田中裕一
    日経サイエンス, 1993-12
  • A study on Bodean Constraint Solver (jointly worked)
    坂井 公
    The MIT Press, 1993-01
  • 遊びの展開
    山崎秀記; 坂井公; 田中裕一
    日経サイエンス, 1995-06
  • 不思議な無限
    新井紀子; 新井敏康; 上野健爾; 国松稔之; 坂井公; 野崎昭弘
    講談社, 2005-02
  • とっておきの数学パズル
    坂井公; 岩沢宏和; 小副川健
    日本評論社, 2011-07
  • 偏愛的数学 I 驚異の数
    坂井公
    岩波書店, 2011-07
  • 偏愛的数学 II 魅惑の図形
    坂井公
    岩波書店, 2011-07
  • 続とっておきの数学パズル
    坂井公; 岩沢宏和; 小副川健
    日本評論社, 2012-07
担当授業科目
2017-10 -- 2018-02数理科学特別研究IVB筑波大学
2017-10 -- 2018-02数理科学特別研究VB筑波大学
2017-04 -- 2017-08数理科学特別研究IB筑波大学
2017-04 -- 2017-08数学特別研究IIIA筑波大学
2017-10 -- 2018-02数学特別研究IIIB筑波大学
2017-04 -- 2017-08数理科学特別研究IIIB筑波大学
2017-04 -- 2017-08数理科学特別研究VB筑波大学
2017-04 -- 2017-08数理科学特別研究IVA筑波大学
2017-10 -- 2018-02数学特別研究IIIB演習筑波大学
2017-10 -- 2018-02数理科学特別研究IVA筑波大学
一般講演
  • 数理的ひらめきで解くパズル
    坂井 公
    数学特別講座/2011-12-13
  • 数理的ひらめきで解くパズル
    坂井 公
    つくば理学コンファレンス/2011-10-08
  • パズルの中の数理
    坂井 公
    理数学生応援プロジェクト特別講義/2011-07-19
学協会等委員
2008 -- 2008日本数学会代議員
1996 -- 1999日本ソフトウェア科学会理事

(最終更新日: 2018-04-24)