塩雅之

シオマサユキ | Shio Masayuki

所属機関・部署：
職名：教授

研究分野 (1件)：情報学基礎論

研究キーワード (4件)： eラーニング , デジタルアーカイブ , プログラム理論 , Program Theory

競争的資金等の研究課題 (3件)：

MISC (12件)：

Tense Arithmetic (]G0001[) : Formalization of Properties of Programs in Rational Arithmetic. TENSOR, N. S. 1999. 59
ソフトウェア指向解析体系による知的制御システムの表現及び解析. 応用数学合同研究集会報告集. 1997. 35-40
知的プログラムの数理的基礎について. 第38回プログラミング・シンポジウム報告集. 1997. 1-12
Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio. Representation of discretely controlled continuous systems in software-oriented formal analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1997. 1345. 110-120
解析学FAに基づく連続系制御プログラムの検証. 応用数学合同研究集会報告集. 1996. 33-38

学歴 (4件)：

学位 (1件)：

経歴 (5件)：

所属学会 (4件)：

デジタルアーカイブ学会 , 日本教育情報学会 , 人工知能学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

塩 雅之