研究者
J-GLOBAL ID：201701010236084325
更新日: 2023年12月09日
KONO Shinji
KONO Shinji
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署：
University of the Ryukyus
University of the Ryukyus について
「University of the Ryukyus」ですべてを検索
職名：
工学部・助教授
ホームページURL (1件)：
http://kaken.nii.ac.jp/ja/r/10284952
研究分野 (1件)：
電子デバイス、電子機器
研究キーワード (2件)：
ハードウェア・ソフトウェア協調設計
, システムLSI
論文 (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
もっと見る
MISC (128件)：
河野真治. 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
もっと見る
書籍 (1件)：
入門Perl (Ascii books)
アスキー 1994 ISBN:4756102921
学位 (1件)：
Dr.
経歴 (1件)：
2003 - 琉球大学 工学部・助教授
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM
