小林英恒

コバヤシヒデツネ | Kobayashi Hidetsune

所属機関・部署：
職名：教授(研究所)

研究分野 (3件)：応用数学、統計数学 , 数学基礎 , 知能情報学

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

全件表示

MISC (50件)：

He Cheng, Kobayashi Hidetsune, Suzuki Hideo. An implementation of a database system for theorem search. ICCSE'2006: Proceedings of the First International Conference on Computer Science & Education. 2006. 287-288
小林英恒, Yang Wang, Hidetsune Kobayashi. High Performance Pattern Matching Algorithm for Network Security. ICSNS International Jpurnal of Cmoputer Science and Network Security. 2006. 6. 10. 83-87
小林英恒, He Cheng, Hidetsune Kobayashi, Hideo Suzuki. Design of a proof information system based on Isabelle. Computer & Information Technology, 2006. 2006. 159. 21-23
He Cheng, Kobayashi Hidetsune, Suzuki Hideo. An implementation of a database system for theorem search. ICCSE'2006: Proceedings of the First International Conference on Computer Science & Education. 2006. 287-288
KOBAYASHI Hidetsune. High Performance Pattern Matching Algorithm for Network Security. ICSNS International Jpurnal of Cmoputer Science and Network Security. 2006. 6. 10. 83-87

講演・口頭発表等 (8件)：

Analysis of Mechanized Topology
(International Conference on Mechanized Mathematics, MMRC, Beijing 2009)
Analysis of Mechanized Topology
(International Conference on Mechanized Mathematics, MMRC, Beijing 2009)
A trial for Automated Proof
(Computers in Scientific Discovery 4 2008)
Comparizon a human proof with a proof in Isabelle
(Plogramming Language for Mathematics Systems (Plmms) 2008)
A trial for Automated Proof
(Computers in Scientific Discovery 4 2008)

Works (1件)：

学歴 (4件)：

学位 (1件)：

所属学会 (3件)：

日本数学会 , 日本情報処理学会 , Mathematical Society of Japan

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

小林 英恒