佐藤 雅彦

J-GLOBALへ         更新日: 10/03/18 00:00
 
アバター
研究者氏名
佐藤 雅彦
 
サトウ マサヒコ
所属
京都大学
部署
大学院情報学研究科 知能情報学専攻 情報学研究科 知能情報学専攻
職名
教授,教授
学位
理学博士

研究キーワード

 
 

研究分野

 
 

学歴

 
 
 - 
1973年
東京大学 理学系研究科 数学
 
 
 - 
1971年
東京大学 理学部 数学
 

委員歴

 
2003年
 - 
2005年
人工知能学会  評議員
 

Misc

 
Lゲ-ムの計算機による分類
計算機によるゲ-ムとパズルをめぐる諸問題研究会報告集,京都大学数理解析研究所講究録   98 12-29   1970年
Grundy Functions and Linear Games
RIMS, Kyoto Univ.   7,645-658    1972年
2個の生成元を持つfree IN-algebra及びfree ICN-algebraの決定
180 10-19   1973年
Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics
RIMS, Kyoto Univ.   9,141-155    1973年
Numerical Experiments on a Conjecture of B. C. Mortimer and K. S. Williams (共著)
Proc. Japan Acad.   49,791-794    1973年

書籍等出版物

 
プログラムの基礎理論
岩波ソフトウェア科学講座13,岩波書店   1991年   

競争的資金等の研究課題

 
構成的プログラミングに関する研究
変数の動的束縛機構を持つ新しいソフトウェアの理論的研究
科学研究費補助金
研究期間: 2001年 - 2004年