林 雄二

学生レポートの文章推敲を支援するシステムの検討（その２）－日本語悪文のパターンに対する形式化－ 

北海道情報大学紀要 vol14,no.2,pp53-63 2003年  

学生レポート推敲支援プログラムの開発 

PCカンファレンス北海道2003論文集 pp12-15 2003年  

目的に応じたデザインパターンを提示するプログラミング支援ツール 

情報科学技術フォーラム（FIT2003）講演論文集 pp249-250 2003年  

デザインパターン適用支援ﾂｰﾙ－適用結果のクラス図による表示－ 

情報処理北海道シンポジウム2003講演論文集 pp51-52 2003年  

日本語文章における悪文の検出について 

PCカンファレンス北海道2002論文集 pp68-71 2002年  

データフローネットワークに対するIO正則表現を用いた証明の枠組み 

TR-CS-98(9) 22-39 1998年  

IO正則表現によるデータフローネットワークの検証 

電子情報通信学会論文誌D-I J81(6) 755-769 1998年  

A Proof Framework with IO Regular Expressions for Data flow Networks 

The Australian Nation University, Work-in-progress papers of IRW/FMP'98 TR-CS-98(9) 22-39 1998年  

データフローと状態推移に基づくプログラミングを指向した言語の開発 

北海道情報大学紀要 8(2) 41-53 1997年  

ストリーム表現法とデータフローネットワークの検証 

情報処理北海道シンポジウム'97講演論文集 93-94 1997年  

データフローネットワークを基礎にしたプログラミング言語の開発 

信学技報 SS95(10) 1-8 1995年  

決定性データフローネットワークにおける不動点の意味 

電子情報通信学会論文誌D1 J78-D1(9) 820-830 1995年  

オブジェクト指向を指向する初期アルゴリズム教育 

社会情報 4(2) 17-25 1995年  

決定性データフローネットワークの形式化と不動点の意味 

電子情報通信学会技術研究報告 94(304) 51-60 1994年  

部分関数を定義するm-n列変換器の性質 

電子情報通信学会論文誌D-I J77(6) 409-414 1994年  

データフロー設計とJSPを結びつけたプログラム設計のモデル 

情報処理学会研究報告(SE) 93(59) 9-16 1993年  

初心者にとってのアルゴリズム作り 

社会情報 2(2) 29-34 1993年  

ジャクソン法における構造不一致問題の形式化 

電子情報通信学会論文誌D-I J76(1) 11-18 1993年  

JSPにおける構造一致の新たな形式化 

北海道情報大学紀要 3(1) 1991年  

JSPにおける構造不一致の列変換器による形式化 

日本ソフトウェア科学会第8回大会論文集 1991年