石原 靖哲

J-GLOBALへ         更新日: 17/09/12 02:54
 
アバター
研究者氏名
石原 靖哲
 
イシハラ ヤスノリ
所属
大阪大学
部署
情報科学研究科 マルチメディア工学専攻
職名
准教授
学位
博士(工学)(大阪大学)
その他の所属
大阪大学大阪大学大阪大学

研究分野

 
 

経歴

 
1994年
 - 
1999年
: 奈良先端科学技術大学院大学助手  
 

学歴

 
 
 - 
1994年
大阪大学 基礎工学研究科 物理系専攻
 
 
 - 
1990年
大阪大学 基礎工学部 情報工学科
 

委員歴

 
2007年
   
 
電子情報通信学会  フォーマルアプローチ特集号編集委員会 編集幹事
 
2007年
   
 
電子情報通信学会  和文論文誌D編集委員会 編集委員
 
2007年
   
 
電子情報通信学会  情報通信システムセキュリティ時限研究専門委員会 専門委員
 
2006年
   
 
電子情報通信学会  フォーマルアプローチ特集号編集委員会 編集委員
 
2006年
   
 
電子情報通信学会  情報通信システムセキュリティ時限研究専門委員会 専門委員
 

受賞

 
1998年
平成9年度情報処理学会 論文賞
 
2006年
第21回電気通信普及財団賞(テレコムシステム技術賞)奨励賞
 
2006年
第21回電気通信普及財団賞(テレコムシステム技術賞)奨励賞
 

論文

 
A Translation Method from Natural Language Specifications into Formal Specifications Using Contextual Dependencies
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
Proceedings of the IEEE International Symposium on Requirements Engineering      1993年1月   [査読有り]
A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami,Jun Shimabukuro, Kazuhiko Okawa
IEICE Transactions on Information and Systems   76(12) 1479-1489   1993年12月   [査読有り]
Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
Transactions of Information Processing Society of Japan   36(5) 1114-1125   1995年5月   [査読有り]
Authorization Analysis of Queries in Object-Oriented Databases
Hiroyuki Seki, Yasunori Ishihara, Minoru Ito
Proceedings of the Fourth International Conference onDeductive and Object-Oriented Databases, LNCS 1013   79(10) 769-780   1995年12月   [査読有り]
Assignment of Data Types to Words in a Natural Language Specification
Yasunori Ishihara, Atsushi Ohsaki, Hiroyuki Seki, Tadao Kasami
IEICE Transactions on Information and Systems   79(6) 820-828   1996年6月   [査読有り]

Misc

 
A Bag-based Data Model with Global Conditions for Incomplete Information
Proceedings of the 16th Data Engineering Workshop      2005年
A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes
Proceedings of the 12th International Symposium on Database Programming Languages, Lecture Notes in Computer Science 5708   pp.68-83    2009年
An Equational Logic Based Approach to the Security Problem against Inference Attacks on Object-Oriented Databases
Journal of Computer and System Sciences   Vol.73, No.5, pp.788-817    2007年
Bag-based Data Models for Incomplete Information and Their Closure Properties
Journal of Intelligent Information Systems   Vol. 30, No. 2, pp. 115-135    2008年
Context-Preserving XQuery Fusion
Proceedings of the 8th Asian Symposium on Programming Languages and Systems, Lecture Notes in Computer Science 6461   pp. 255-270    2010年

Works

 
コンテンツ配信管理システムとその安全性確認に関する研究
2005年
コンテンツ配信管理システムとその安全性確認に関する研究
2004年
半構造データモデルのもとでの不完全情報表現法の開発とその応用に関する研究
2004年
XMLデータベース「EsTerra XML Storage Server」(エステラXMLストレージサーバー)の技術改良
2004年
半構造データモデルのもとでの不完全情報表現法の開発とその応用に関する研究
2006年

競争的資金等の研究課題

 
データベースセキュリティに関する研究
ソフトウェアの自動検証に関する研究