IEICE SEARCH SYSTEM

東野　輝夫

フォーマルアプローチ論文特集の発行にあたって東野　輝夫
誌名: 電子情報通信学会論文誌 D 発行日: 2006/04/01 Vol. J89-D No. 4 pp. 623-623 論文種別: 巻頭言専門分野: キーワード:
	あらまし \| 本文:PDF (32.2KB)

部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法木谷　友哉高本　佳史安本　慶一中田　明夫東野　輝夫
誌名: 電子情報通信学会論文誌 A 発行日: 2005/12/01 Vol. J88-A No. 12 pp. 1487-1496 論文種別: 論文専門分野: VLSI設計技術とCAD キーワード: リアルタイムシステム, パラメトリックモデル検査, 設計手法, 高位合成,
	あらまし \| 本文:PDF (686.7KB)

帯域制約のもとで遅延最小のオーバレイマルチキャスト木を構築する分散アルゴリズム Thilmee　M.　Baduge 廣森　聡仁山口　弘純東野　輝夫
誌名: 電子情報通信学会論文誌 D 発行日: 2005/11/01 Vol. J88-D1 No. 11 pp. 1648-1658 論文種別: 特集論文 (ユビキタス社会構築のためのネットワークに対する理論とその応用論文小特集) 専門分野: オーバレイネットワークキーワード: オーバレイネットワーク, 遅延最小木, 分散アルゴリズム,
	あらまし \| 本文:PDF (575.2KB)

外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法竹中　崇岡野　浩三東野　輝夫谷口　健一
誌名: 電子情報通信学会論文誌 D 発行日: 2004/04/01 Vol. J87-D1 No. 4 pp. 462-470 論文種別: 論文専門分野: ソフトウェア工学キーワード: 記号モデル検査, CTL, プレスブルガー文,
	あらまし \| 本文:PDF (341.2KB)

Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価横川　勇仁舩曵　信生東野　輝夫小田　政志森　悦秀
誌名: 電子情報通信学会論文誌 D 発行日: 2003/08/01 Vol. J86-D2 No. 8 pp. 1177-1185 論文種別: 論文専門分野: 画像処理，画像パターン認識キーワード: Deformable Template, 唇輪郭抽出, しきい値調整アルゴリズム, 歯科医療,
	あらまし \| 本文:PDF (602.7KB)

並行周期EFSMに対するパラメトリックモデル検査手法森　亮憲中田　明夫東野　輝夫
誌名: 電子情報通信学会論文誌 D 発行日: 2003/02/01 Vol. J86-D1 No. 2 pp. 75-87 論文種別: 特集論文 (LAシンポジウム（計算機科学基礎理論ワークショップ）論文小特集) 専門分野: キーワード: パラメトリックモデル検査, 実時間システム, 周期EFSM, 時相論理, 限定子消去,
	あらまし \| 本文:PDF (430.3KB)

双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案米津　政隆舩曵　信生木谷　友哉横平　徳美中西　透東野　輝夫
誌名: 電子情報通信学会論文誌 D 発行日: 2003/02/01 Vol. J86-D1 No. 2 pp. 99-107 論文種別: 論文専門分野: アルゴリズムキーワード: マンハッタンストリートネットワーク, 波長分割多重, ノード配置, 近似アルゴリズム, 階層型,
	あらまし \| 本文:PDF (402KB)

通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案森　亮憲大塚　裕孝舩曵　信生中田　明夫東野　輝夫
誌名: 電子情報通信学会論文誌 D 発行日: 2002/11/01 Vol. J85-D1 No. 11 pp. 1038-1046 論文種別: 論文専門分野: アルゴリズムキーワード: 通信プロトコル, 試験系列生成問題, SATアルゴリズム, 近似アルゴリズム, 制約条件,
	あらまし \| 本文:PDF (389.2KB)

静的及びモバイルマルチキャストルーチング問題に対する最適パス選択解法の提案藤井　雅和舩曵　信生横平　徳美田島　滋人常村　和史東野　輝夫
誌名: 電子情報通信学会論文誌 A 発行日: 2002/03/01 Vol. J85-A No. 3 pp. 358-369 論文種別: 論文専門分野: 移動情報通信・パーソナル通信キーワード: マルチキャストルーチング, モバイルマルチキャスト, 通信ネットワーク, NP完全, 近似解法,
	あらまし \| 本文:PDF (361.7KB)

関数合成による唇輪郭抽出法の提案関岡　哲也横川　勇仁舩曵　信生東野　輝夫山田　朋弘森　悦秀
誌名: 電子情報通信学会論文誌 D 発行日: 2001/03/01 Vol. J84-D2 No. 3 pp. 459-470 論文種別: 論文専門分野: 画像処理，画像パターン認識キーワード: 輪郭抽出, 輪郭線関数, 遺伝的プログラミング, SNAKES, Deformable templateマッチング,
	あらまし \| 本文:PDF (469.1KB)

FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案船曵　信生池永　勝芳江川　晋爾東野　輝夫
誌名: 電子情報通信学会論文誌 A 発行日: 2000/08/20 Vol. J83-A No. 8 pp. 976-988 論文種別: 論文専門分野: VLSI設計技術とCAD キーワード: FPGA, 端子割当, グリーディ割当法, ランダム最適化法, シミュレーテッドアニーリング,
	あらまし \| 本文:PDF (782.5KB)

遺伝的プログラミングを用いた関数合成アルゴリズムの改良法の提案関岡　哲也船曵　信生東野　輝夫
誌名: 電子情報通信学会論文誌 D 発行日: 2000/04/20 Vol. J83-D1 No. 4 pp. 407-417 論文種別: 論文専門分野: アルゴリズムキーワード: 関数合成, 遺伝的プログラミング, two-spirals問題, 太陽黒点数予測,
	あらまし \| 本文:PDF (415.4KB)

冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案柴田　直樹岡野　浩三東野　輝夫谷口　健一
誌名: 電子情報通信学会論文誌 D 発行日: 1999/06/20 Vol. J82-D1 No. 6 pp. 691-700 論文種別: 論文専門分野: アルゴリズムキーワード: 加算をもつ有理数の理論, 真偽判定アルゴリズム, 組合せ幾何学, 投影,
	あらまし \| 本文:PDF (554.9KB)

共有メモリ型並列計算機上での正則な項書換え系の一実装法松石　航也服部　哲岡野　浩三東野　輝夫谷口　健一
誌名: 電子情報通信学会論文誌 D 発行日: 1998/01/20 Vol. J81-D1 No. 1 pp. 28-37 論文種別: 論文専門分野: ソフトウェア基礎キーワード: 項書換え系, 正則, 共有メモリ型マルチプロセッサ, マッチングオートマトン,
	あらまし \| 本文:PDF (757.9KB)

レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用山口　弘純岡野　浩三東野　輝夫谷口　健一
誌名: 電子情報通信学会論文誌 A 発行日: 1997/07/20 Vol. J80-A No. 7 pp. 1064-1072 論文種別: 特集論文 (コンカレント・コラボレーション技術論文小特集) 専門分野: キーワード: 分散協調システム, ペトリネット, プロトコル合成, 協調活動支援システム,
	あらまし \| 本文:PDF (676KB)

代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明北嶋　暁森岡　澄夫島谷　肇東野　輝夫谷口　健一
誌名: 電子情報通信学会論文誌 D 発行日: 1996/12/20 Vol. J79-D1 No. 12 pp. 1017-1029 論文種別: 特集論文 (テスティング技術論文特集) 専門分野: 設計検証キーワード: 同期式順序回路, 段階的設計, 形式的検証, 代数的手法, 自動証明,
	あらまし \| 本文:PDF (996.1KB)

拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法李　湘東東野　輝夫樋口　昌宏谷口　健一
誌名: 電子情報通信学会論文誌 B 発行日: 1996/04/20 Vol. J79-B1 No. 4 pp. 137-147 論文種別: 論文専門分野: 信号方式，通信プロトコルキーワード: 適合性試験, 試験系列, 通信プロトコル, 拡張有限状態機械,
	あらまし \| 本文:PDF (846.3KB)

あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法岡野　浩三東野　輝夫谷口　健一
誌名: 電子情報通信学会論文誌 D 発行日: 1995/07/20 Vol. J78-D1 No. 7 pp. 622-633 論文種別: 論文専門分野: ソフトウェアシステムキーワード: 代数的仕様, 階層的設計法, 射影, 順序機械型プログラム, プログラム検証法,
	あらまし \| 本文:PDF (888KB)

代数的手法を用いた同期式順序回路の段階的設計法北道　淳司東野　輝夫谷口　健一杉山　裕二
誌名: 電子情報通信学会論文誌 A 発行日: 1994/03/20 Vol. J77-A No. 3 pp. 420-429 論文種別: 論文専門分野: VLSI設計技術キーワード: 代数的手法, 同期式順序回路, 段階的詳細化, 設計検証, 設計自動化,
	あらまし \| 本文:PDF (805.8KB)

順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例岡野　浩三北道　淳司東野　輝夫谷口　健一
誌名: 電子情報通信学会論文誌 D 発行日: 1993/07/20 Vol. J76-D1 No. 7 pp. 354-363 論文種別: 論文専門分野: ソフトウェア基礎キーワード: 代数的仕様記述, 階層的設計法, 順序機械型プログラム, 在庫管理問題,
	あらまし \| 本文:PDF (789.1KB)

データを含むLOTOS記述に対するテスト系列の自動生成の一手法季　湘東東野　輝夫谷口　健一
誌名: 電子情報通信学会論文誌 B 発行日: 1992/11/20 Vol. J75-B1 No. 11 pp. 734-743 論文種別: 論文専門分野: 信号方式，通信プロトコルキーワード: コンフォーマンス試験, LOTOS, テスト系列, 通信プロトコル, 自動合成,
	あらまし \| 本文:PDF (686KB)

通信プロトコルにおけるエラーリカバリ性の自動検証の一方式木本　智久二宮　清東野　輝夫谷口　健一森　将豪
誌名: 電子情報通信学会論文誌 D 発行日: 1990/05/20 Vol. J73-D1 No. 5 pp. 500-509 論文種別: 論文専門分野: ソフトウェア基礎キーワード:
	あらまし \| 本文:PDF (838.7KB)

プロトコルマシンの等価性証明の一方法二宮　清東野　輝夫谷口　健一木本　智久
誌名: 電子情報通信学会論文誌 D 発行日: 1988/12/20 Vol. J71-D No. 12 pp. 2630-2639 論文種別: 論文専門分野: ネットワークキーワード:
	あらまし \| 本文:PDF (915.5KB)

トークンリング方式LANの代数的手法による「安全性」と「相互排他性」の検証東野　輝夫藤井　護谷口　健一嵩　忠雄森　将豪
誌名: 電子情報通信学会論文誌 D 発行日: 1988/03/20 Vol. J71-D No. 3 pp. 577-586 論文種別: 論文専門分野: ネットワークキーワード:
	あらまし \| 本文:PDF (880.5KB)

代数的に記述された通信プロトコルの動的性質の検証東野　輝夫谷口　健一嵩　忠雄藤井　護森　将豪
誌名: 電子情報通信学会論文誌 D 発行日: 1986/10/20 Vol. J69-D No. 10 pp. 1471-1480 論文種別: 論文専門分野: ネットワークキーワード:
	あらまし \| 本文:PDF (822.8KB)

代数的仕様検証支援系及びそれを用いた検証例東野　輝夫工藤　尊弘縄田　修造杉山　裕二谷口　健一
誌名: 電子情報通信学会論文誌 D 発行日: 1984/04/20 Vol. J67-D No. 4 pp. 472-479 論文種別: 論文専門分野: キーワード:
	あらまし \| 本文:PDF (790KB)

代数的に記述されたHDLCプロトコルの検証東野　輝夫森　将豪谷口　健一嵩　忠雄
誌名: 電子情報通信学会論文誌 D 発行日: 1983/07/20 Vol. J66-D No. 7 pp. 773-780 論文種別: 論文専門分野: キーワード:
	あらまし \| 本文:PDF (706.7KB)

HDLC手順の代数的記述森　将豪東野　輝夫杉山　裕二谷口　健一嵩　忠雄
誌名: 電子情報通信学会論文誌 D 発行日: 1981/02/20 Vol. J64-D No. 2 pp. 124-131 論文種別: 論文専門分野: キーワード:
	あらまし \| 本文:PDF (768.4KB)