Rchr
J-GLOBAL ID：200901081978616168
Update date: Sep. 25, 2022
Shio Masayuki
シオ マサユキ | Shio Masayuki
Contact this researcher
You can send email directly to the researcher.
Affiliation and department：
Tokiwa University College of Community Development, Department of Community Culture
About Tokiwa University College of Community Development, Department of Community Culture
Search "Tokiwa University College of Community Development, Department of Community Culture"
Detailed information
Job title：
Associate Proffesor
Research field (1)：
Information theory
Research keywords (4)：
eラーニング
, デジタルアーカイブ
, プログラム理論
, Program Theory
Research theme for competitive and other funds (3)：
2017 - 2018 子どもデジタルアーキビスト養成事業
実時間制御系の検証
Varification of Realtime Controll System
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
ｍore...
Education (4)：
- 1997 University of Tsukuba
- 1997 University of Tsukuba Graduate School, Division of Engineering
- 1992 University of Tsukuba
- 1992 University of Tsukuba Third Cluster of College
Professional career (1)：
(BLANK)
Work history (5)：
2016/04 - 現在 Tokiwa University
2007/04 - 2016/03 Tokiwa University College of Community Development
2006/04 - 2007/03 Tokiwa University College of Community Development
2000/04 - 2005/03 Tokiwa University College of Community Development
1997/04 - 2000/03 University of Tsukuba Institute of Information Sciences and Electronics
Association Membership(s) (4)：
デジタルアーカイブ学会
, JAPAN SOCIETY OF EDUCATIONAL INFORMATION
, 人工知能学会
, 情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
