直井 徹


組込み装置向きプログラミング言語EBIFRY―簡便さと安定性の両立のために―
大山 博司 領木 正人 松本 忠博 直井 徹 後藤 宗弘 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/07/01
Vol. J85-D1  No. 7  pp. 672-680
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
プログラミング言語組込み装置メモリ管理静的生成リアルタイム
 あらまし | 本文:PDF(592.8KB)

特異値分解(SVD)とHaar変換を用いたクロッピング耐性の高い電子透かし手法
杉山 正晴 後藤 宗弘 コバチ シルベスタ 松本 忠博 直井 徹 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/05/01
Vol. J85-D2  No. 5  pp. 877-885
論文種別:  論文
専門分野: 画像処理,画像パターン認識
キーワード: 
電子透かし特異値分解Haar変換wavelet変換クロッピング
 あらまし | 本文:PDF(1.9MB)

最汎E単一化子を用いたマイクロプログラム合成手続き
木下 貴史 直井 徹 恩田 雅隆 今井 正治 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/06/25
Vol. J77-D1  No. 6  pp. 424-432
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
抽象データ型最汎E単一化子ユニタリ単一化理論マイクロプログラム逐次化問題
 あらまし | 本文:PDF(609.2KB)

サブゴールの生成に基づくマイクロプログラム合成手続きの拡張
木下 貴史 直井 徹 恩田 雅隆 今井 正治 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/04/25
Vol. J77-D1  No. 4  pp. 338-340
論文種別:  レター
専門分野: 
キーワード: 
抽象データ型等式理論E単一化E単一化子の完全集合逐次化問題
 あらまし | 本文:PDF(176.8KB)

E同一化を用いたマイクロプログラム自動合成手続き
木下 貴史 直井 徹 今井 正治 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/11/25
Vol. J76-D1  No. 11  pp. 566-574
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
抽象データ型E同一化マイクロプログラムナローイング逐次化問題
 あらまし | 本文:PDF(610.4KB)

項書換え系とその保存的拡大における代数的意味論と動作意味論の関連について
直井 徹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/10/25
Vol. J71-D  No. 10  pp. 1893-1900
論文種別:  論文
専門分野: オートマトン,言語理論,計算論
キーワード: 
 あらまし | 本文:PDF(745.3KB)

項書換え系の意味論と自由連続代数
直井 徹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/06/25
Vol. J71-D  No. 6  pp. 942-949
論文種別:  論文
専門分野: オートマトン,言語理論,計算論
キーワード: 
 あらまし | 本文:PDF(743.8KB)

必須呼びが正規化戦略となるあいまいな線形項書き換えシステムのクラス
直井 徹 山下 雅史 茨木 俊秀 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/09/25
Vol. J69-D  No. 9  pp. 1236-1245
論文種別:  論文
専門分野: オートマン・言語理論
キーワード: 
 あらまし | 本文:PDF(801.6KB)