田中 正彦

J-GLOBALへ         更新日: 13/05/09 12:58
 
アバター
研究者氏名
田中 正彦
 
タナカ マサヒコ
URL
http://ei-www.hyogo-dai.ac.jp/~masahiko/
所属
兵庫大学
部署
生涯福祉学部 こども福祉学科
職名
教授

研究分野

 
 

経歴

 
1984年
 - 
1985年
広島大学 助手
 
1986年
 - 
1988年
兵庫女子短期大学 講師
 
1988年
 - 
1995年
兵庫女子短期大学 助教授
 

学歴

 
 
 - 
1975年
山口大学 文理学部(理科系) 数学
 

Misc

 
有限束の数え上げ
兵庫大学論集   第6号 pp.167-170    2001年
折り紙における複雑さの数値化
兵庫大学論集   4 95   1999年
有限代数系の組合せ論的考察
科学研究費補助金研究成果報告書      1990年
記号論理へのコンピュータアプローチ,恒真命題の分類
兵庫女子短期大学      1989年
記号論理へのコンピュータアプローチ(2)様相論理における機械証明
兵庫女子短期大学研究集録   26,10-17    1993年

書籍等出版物

 
コンピュータを利用する小・中・高校の算数・数学
三晃書房   1987年   
SF的Prologの世界
現代数学社   1990年   

Works

 
折り紙の作品データベースに関する研究
1991年

競争的資金等の研究課題

 
折り紙制作工程の記号化