Rchr
J-GLOBAL ID：200901081217225360
Update date: May. 18, 2020
Kobayashi Hidetsune
コバヤシ ヒデツネ | Kobayashi Hidetsune
Affiliation and department：
Job title：
Professor
Research field (3)：
Applied mathematics and statistics
, Basic mathematics
, Intelligent informatics
Research theme for competitive and other funds (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
ｍore...
Lectures and oral presentations (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)
ｍore...
Works (1)：
-
コンピュータセキュリティの研究
2001 - 2004
Education (4)：
- - 1969 Kyoto University Graduate School of Science
- - 1969 Kyoto University Graduate School, Division of Natural Science
- - 1967 Kyoto University Faculty of Science
- - 1967 Kyoto University Faculty of Science
Professional career (1)：
Association Membership(s) (3)：
日本数学会
, 日本情報処理学会
, Mathematical Society of Japan
