山﨑 秀記

キャリア教育と同窓会連携 

日本インターンシップ学会第10回大会発表要旨集録 49-50 2009年  

一橋大学における情報基礎教育とその環境 （共著） 

2006年度情報教育研究集会 講演論文集 2006年  

社会科学系大学におけるe-Learningシステムの活用 （共著） 

教育システム情報学会(JSISE)シンポジウム「大学教育の多様化とe-Learinigの活用」 2005年  

WebClassを利用したe-Learningシステムの実践報告 （共著） 

情報処理学会情報処理教育シンポジウム 2004年  

ペトリネットの解析とプレスバーガー算術 

一橋論叢 128(4) 392-401 2002年  

Analysis of Petri nets with Presburger arithmetic 

128(4) 392-401 2002年  

インターネット・セキュリティの原理 : 公開鍵暗号系とゼロ知識証明 

一橋論叢 125(4) 447-461 2001年  

Reachcbility Analysis of Petri Nets via Structural and Behavioral Classifications of Transitions （共著） 

Petri Net Newsletter 60 5-21 2001年  

The Principle of Internet Security 

125(4) 447-461 2001年  

Reachcbility Analysis of Petri Nets via Structural and Behavioral Classifications of Transitions (jointly worked) 

Petri Net Newsletter 60 5-21 2001年  

Reachability Analysis of Petri Nets via Structural and Behavioral Classification of Transitions （共著） 

Department of Electrical Engineering and Computer Science, University of Illinois at Chicago 2000年  

Reachability Analysis of Petri Nets via Structural and Behavioral Classification of Transitions (jointly worked) 

Department of Electrical Engineering and Computer Science, University of Illinois at Chicago 2000年  

Logical Characterization of Petri net ω-languages 

Reports of the Institute of Computer Science, Martin-Luther-Universit(]E88D2[)t Halle-Wittenberg (17) 1999年  

Logical Characterization of Petri net ω-languages 

Reports of the Institute of Computer Science, Martin-Luther-Universit(]E88D2[)t Halle-Wittenberg (17) 1999年  

Right Congruences for ω-regular Languages 

- 906 112-118 1995年  

Right Congruences for ω-regular Languages 

- 906 112-118 1995年