原尾 政輝


矩形領域分割による誘導灯自動配置アルゴリズム
尾崎 昭剛 原尾 政輝 
誌名:   電子情報通信学会論文誌 D
発行日: 2015/06/01
Vol. J98-D  No. 6  pp. 916-925
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: 理論
キーワード: 
避難誘導誘導灯配置問題美術館定理多項式アルゴリズム
 あらまし | 本文:PDF(1.1MB)

位置変更を含む多様な誤りに対処できる演奏現在位置解析アルゴリズム
尾崎 昭剛 原尾 政輝 
誌名:   電子情報通信学会論文誌 D
発行日: 2009/09/01
Vol. J92-D  No. 9  pp. 1663-1671
論文種別:  論文
専門分野: 音楽情報処理
キーワード: 
演奏解析現在位置認識演奏支援
 あらまし | 本文:PDF(627.2KB)

Pre-Checkingに基づく効率的スキーママッチングアルゴリズム
久保 憲吾 山田 敬三 平田 耕一 原尾 政輝 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/02/01
Vol. J85-D1  No. 2  pp. 143-151
論文種別:  特集論文 (LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
専門分野: 
キーワード: 
スキーマ2階マッチング述語マッチング項マッチング類推
 あらまし | 本文:PDF(296.4KB)

スキーママッチングとその計算量
山田 敬三 平田 耕一 原尾 政輝 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/11/25
Vol. J82-D1  No. 11  pp. 1307-1316
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
スキーマ2階マッチングスキーママッチング述語マッチング項マッチング型付き λ 計算計算量
 あらまし | 本文:PDF(339.3KB)

単純型付きラムダ計算における証明文法
山田 敬三 平田 耕一 原尾 政輝 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/11/25
Vol. J80-D1  No. 11  pp. 866-879
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
ラムダ計算証明文法証明の自動生成高階単一化
 あらまし | 本文:PDF(865.4KB)

定理証明的手法による再帰方程式から回路の自動設計
原尾 政輝 岩沼 宏治 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/05/25
Vol. J72-D2  No. 5  pp. 772-781
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
 あらまし | 本文:PDF(794.5KB)

定理証明的手法を用いた回路自動設計のための変換規則―再帰方程式から回路記述への変換―
原尾 政輝 岩沼 宏治 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/01/25
Vol. J71-D  No. 1  pp. 132-141
論文種別:  論文
専門分野: 計算機応用
キーワード: 
 あらまし | 本文:PDF(830.3KB)

時間と空間を扱う様相述語論理の不完全性とその相対的完全化
岩沼 宏治 原尾 政輝 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/05/25
Vol. J70-D  No. 5  pp. 859-869
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
 あらまし | 本文:PDF(975.9KB)

時空間様相論理ETSLの完全・無矛盾な公理系
岩沼 宏治 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/04/25
Vol. J69-D  No. 4  pp. 491-501
論文種別:  論文
専門分野: オートマン・言語理論
キーワード: 
 あらまし | 本文:PDF(867.1KB)

時空間様相論理ETSLとその決定手続き
岩沼 宏治 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/03/25
Vol. J69-D  No. 3  pp. 365-374
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(778.6KB)

アナログ神経回路網の平衡状態の安定性について
菅原 研次 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 A
発行日: 1983/03/25
Vol. J66-A  No. 3  pp. 258-265
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(698.4KB)

ポリオートマトンの基本的特性
宮島 広美 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/12/25
Vol. J62-D  No. 12  pp. 783-790
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(595.4KB)

セルオートマトンのエルゴード的性質
宮島 広美 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/10/25
Vol. J62-D  No. 10  pp. 609-616
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(611.7KB)

直列形プログラムのコード最適化―1レジスタ機械におけるアルゴリズムの複雑さ―
木村 春彦 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/08/25
Vol. J62-D  No. 8  pp. 515-522
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(558.7KB)

1レジスタ機械における直列形プログラムのコード最適化
木村 春彦 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/04/25
Vol. J62-D  No. 4  pp. 281-288
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(582.5KB)

セルオートマトンの位相的特性
宮島 広美 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/02/25
Vol. J62-D  No. 2  pp. 57-64
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(638.1KB)

セルシステムとその位相的特性
原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 A
発行日: 1978/12/25
Vol. J61-A  No. 12  pp. 1238-1245
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(667.1KB)

セル構造オートマトンの様相集合の特性化
加藤 靖 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1978/10/25
Vol. J61-D  No. 10  pp. 791-798
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(657.9KB)

均一オートマタゲームの均衡点について
原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 A
発行日: 1976/06/25
Vol. J59-A  No. 6  pp. 481-488
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(585.3KB)

セルラオートマトンの構造を保存する同形写像とその類別
荒木 哲郎 原尾 政輝 野口 正一 大泉 充郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1975/07/25
Vol. J58-D  No. 7  pp. 381-388
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(574.3KB)

群グラフ状に配列された反復オートマトンについて
原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1973/02/25
Vol. J56-D  No. 2  pp. 123-124
論文種別:  技術談話室
専門分野: 
キーワード: 
 あらまし | 本文:PDF(206.7KB)

反復オートマトンの代数的性質
原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/12/25
Vol. J55-D  No. 12  pp. 767-774
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(740.1KB)

多段論理回路網による多値論理関数の合成
原尾 政輝 野口 正一 大泉 充郎 
誌名:   電子情報通信学会論文誌 C
発行日: 1971/02/25
Vol. J54-C  No. 2  pp. 147-155
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(758.2KB)

多出力多段論理回路網の合成
原尾 政輝 鈴木 淳之 野口 正一 大泉 充郎 
誌名:   電子情報通信学会論文誌 C
発行日: 1969/09/25
Vol. J52-C  No. 9  pp. 531-538
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(673.8KB)