| 詳細情報 |   |
|---|---|
| 関連リンク |  |
| 探す |  |
所属機関・部署：
職名： 工学部・助教授
ホームページURL (1件)： http://kaken.nii.ac.jp/ja/r/10284952
論文 (7件)：
MISC (128件)：
書籍 (1件)：
学位 (1件)：
経歴 (1件)：
前のページに戻る
University of the Ryukyus
University of the Ryukyus について
職名： 工学部・助教授
ホームページURL (1件)： http://kaken.nii.ac.jp/ja/r/10284952
論文 (7件)：
- Shinji Kono, Kento Yogi. Implementing Continuation based language in GCC. CoRR. 2011. abs/1109.4048
- S Kono. A combination of clausal and non clausal temporal logic programs. EXECUTABLE MODAL AND TEMPORAL LOGICS. 1995. 897. 40-57
- M FUJITA, S KONO. SYNTHESIS OF CONTROLLERS FROM INTERVAL TEMPORAL LOGIC SPECIFICATION. 1993 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS - PROCEEDINGS. 1993. 242-245
- H NAKAMURA, M NAKAI, S KONO, M FUJITA, H TANAKA. LOGIC DESIGN ASSISTANCE USING TEMPORAL LOGIC BASED LANGUAGE TOKIO. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 1991. 485. 174-183
- M FUJITA, S KONO, H TANAKA, T MOTOOKA. AID TO HIERARCHICAL AND STRUCTURED LOGIC DESIGN USING TEMPORAL LOGIC AND PROLOG. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES. 1986. 133. 5. 283-294
- 河野真治. AgdaによるZornの補題の証明. 情報処理学会プログラミング・シンポジウム予稿集. 2023. 64th
- 大蔵海斗, 河野真治. Rakuのサーバーを用いた実行. 情報処理学会プログラミング・シンポジウム予稿集. 2023. 64th
- IMAMURA Hikaru, KONO Shinji, GENKAWA Takuma. Non-destructive Evaluation of the Ice Fraction of Frozen Pork during Thawing by Near-infrared Spectroscopy. Transactions of the Japan Society of Refrigerating and Air Conditioning Engineers. 2021. 38. 3. 235
- 比嘉 健太, 河野 真治. Continuation based Cを用いたプログラムの検証手法. 情報処理学会論文誌プログラミング(PRO). 2017. 10. 2. 5-5
- 比嘉 健太, 河野 真治. 形式手法を学び始めて思うことと,形式手法を広めるには. ウィンターワークショップ2015・イン・宜野湾 論文集. 2015. 2015. 49-50
- 入門Perl (Ascii books)
アスキー 1994 ISBN:4756102921
- Dr.
- 2003 - 琉球大学 工学部・助教授
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。
前のページに戻る
