研究者
J-GLOBAL ID:200901079756149460
更新日: 2020年05月13日
池田 靖雄
イケダ ヤスオ | Ikeda Yasuo
所属機関・部署:
旧所属 埼玉短期大学 情報メディア学科
旧所属 埼玉短期大学 情報メディア学科 について
「旧所属 埼玉短期大学 情報メディア学科」ですべてを検索
職名:
講師
ホームページURL (1件):
http://www.ailab.is.tsukuba.ac.jp/~yikeda
研究分野 (2件):
機械力学、メカトロニクス
, ロボティクス、知能機械システム
研究キーワード (4件):
定理自動証明
, プログラム理論
, Automatic Theorem Proving
, Program Theory
競争的資金等の研究課題 (3件):
@カルキュラス
高階論理型プログラム言語NUに関する研究
Study on Higher Typed Logical Programing Language NU
MISC (11件):
知性と感性の情報学的討究 II: 時制数論体系@-calculus の基礎分析. 埼玉短期大学研究紀要. 2004. 13, pp. 109-117
Tense Arithmetic II: @-calculus as an Adaptation for Formal Number Theory. Tensor, N. S. 2003. 64, pp. 12-33
On the elimination of some higher type quantifiers. Mathematical Structure in Computer Science. 2001. vol. 11, pp. 771-779
論理型言語BQLとその知的プログラム. 佐藤栄学園埼玉短期大学「研究紀要」. 1996. 5. 7-15
プログラム言語BQLとその処理系(共著). 情報処理学会論文誌. 1996. 37. 4. 546-555
もっと見る
学歴 (4件):
- 1992 筑波大学 工学研究科 電子・情報工学
- 1992 筑波大学
- 1987 筑波大学 第3学群情報学類 情報科学
- 1987 筑波大学
学位 (2件):
工学修士 (筑波大学)
博士(工学) (筑波大学)
所属学会 (2件):
情報処理学会
, 日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM