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)：

Show all

MISC (48)：

小林英恒, 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
KOBAYASHI Hidetsune. Design of a proof information system based on Isabelle. Computer & Information Technology, 2006. 2006. 159. 21-23

ｍ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)：

Education (4)：

Professional career (1)：

Association Membership(s) (3)：

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

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page