野口 正一 | 東北大学電気通信研究所
スポンサーリンク
概要
関連著者
-
野口 正一
東北大学電気通信研究所
-
白鳥 則郎
東北大学電気通信研究所
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
東北大学電気通信研究所
-
大泉 充郎
電気通信大学
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
布川 博士
東北大学電気通信研究所
-
富樫 敦
東北大学電気通信研究所
-
大泉 充郎
東北大学電気通信研究所
-
大泉 充郎
東北大学応用情報学研究センター
-
宮崎 正俊
東北大学
-
矢野 博之
郵政省通信総合研究所
-
岡崎 直宣
宮崎大学
-
増永 良文
東北大学電気通信研究所:(現)図書館情報大学図書館情報学部
-
宮崎 正俊
東北大学大学院情報科学研究科
-
矢野 博之
東北大学電気通信研究所
-
岡崎 直宣
宮崎大 工
-
宮崎 正俊
東北大学大型計算機センター
-
滝沢 誠
(財)日本情報処理開発協会
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
朴 美姫
三菱電機(株)情報技術総合研究所
-
岡崎 直宣
(株)高度通信システム研究所
-
白鳥 則郎
東北大学工学部
-
海老原 義彦
筑波大学電子情報工学系
-
富田 真吾
山口大学工学部電子工学科
-
朴 美娘
三菱電機
-
佐藤 淳
富士通カストマエンジニアリング
-
朴 美娘
東北大学電気通信研究所(株)
-
三上 節子
(株)高度通信システム研究所
-
三宅 延久
東北大学応用情報学研究センター
-
武宮 博
日立東北ソフトウェア
-
武宮 博
日本原子力研究所計算科学技術推進センター : 日立東北ソウトウェア
-
朴 美郎
東北大学電気通信研究所
-
Park Mirang
Information Technology R&d Center Mitsubishi Electric Corporation
-
野口 正一
日本大学工学部情報工学科
-
三宅 延久
東北大学電気通信研究所
-
朴 美娘
神奈川工科大学
-
川口 研治
東北大学応用情報学研究センタ
-
渡辺 敏正
東北大学電気通信研究所
-
石田 純一
室蘭工業大学工学部附属情報メディア教育センター
-
海老原 義彦
筑波大学電子・情報工学系
-
朴 美娘
(株)高度移動通信セキュリティ技術研究所(AMSL)
-
高橋 博之
東北大学電気通信研究所
-
石田 純一
室蘭工業大学
-
山田 攻
室蘭工業大学
-
海老原 義彦
東北大学応用情報学研究センター
-
根元 義章
東北大学電気通信研究所
-
李 殷碩
韓国成均館大学工科大学情報工学科
-
古賀 信哉
東北大学 電気通信研究所
-
富田 真吾
山口大学工学部
-
梶浦 正規
東北大学電気通信研究所
-
Park Mirang
Mitsubishi Electric Corporation
-
森 健一
東北大学電気通信研究所
-
李 殷碩
東北大学電気通信研究所
-
佐々木 修二
(株)高度通信システム研究所
-
古賀 信哉
東北大学電気通信研究所
-
ワラークンシリパン ラッティコン
東北大学電気通信研究所
-
野口 清広
東北大学大学院
-
森山 宣郎
東北大学電気通信研究所
-
佐々木 修二
NTT東北支社
-
古谷 信雄
国際電電
-
今宮 淳美
東北大学電気通信研究所
-
鈴木 淳之
東北大学電気通信研究所
-
川口 研冶
東北大学電気通信研究所
-
川口 研治
東北大学電気通信研究所
-
照屋 健
沖縄大学法経学部
-
中井 真夫
東北大学電気通信研究所
-
郷原 純一
東北大学電気通信研究所
-
黒田 清隆
東北大学電気通信研究所
-
熊谷 幸雄
帝人株式会社
-
青野 繁
防衛大学校
-
岡崎 直宣
東北大学電気通信研究所
-
富田 真吾
東北大学応用情報学研究センター
-
照屋 健
琉球大学工学部
-
濱田 眞美
日本電気(株)
-
菊地 俊彰
東北大学電気通信研究所
-
侯本 慧
東北大学電気通信研究所
-
原尾 政輝
東北大学電気通信研究所
-
原尾 政輝
東北大学工学部
-
山口 基志
東北大学電気通信研究所
著作論文
- 動的な制御集合をもつ文法について
- コンピュータ・ネットワークにおけるNCPの設計に関する-考察
- 汎太平洋教育研究用ネットワーク : 東北大学ALOHAネットワーク (コンピュータ・ネットワーク)
- オートマトンの自己準同型写像を求めるアルゴリズム (オートマトン理論および言語理論の新展開)
- 可遷的自己準同型半群を有するオートマタ族 (情報科学の数学的理論)
- 衛星ネットワークにおけるフロー制御について
- G-LOTOS の仕様化環境SEGLの構成と試作
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- 図的関数型言語のプログラミング環境の設計と記述
- CODASYL DMLに対する非手続的グラフ問合せ言語の設計と実現
- CODASYLデータベースシステムに対する非手続的更新インタフェース設計の基本概念
- 関係データベースビュー更新問題の意味論的解決法
- オートマトンの代数的理論 (情報科学の数学的理論)
- ローカルネットワークにおける通信プロトコルと待ち行列モデル (待ち行列理論とその応用 II)
- 並列処理関数に着目した関数型言語FPのベクトル処理方法
- 関数型言語FPのベクトルプロセッサ向きコンパイル手法
- 表明を持つ項書き換え系(A-TRS)におけるモジュール化手法
- 戦略の表明を持つ項書き換え系のメタインタプリタによる記述
- 項書き換え系のメタインタプリタE-TRS
- 戦略の表明を持つ項書き換え系A-TRSの実現と評価
- 直列型待ち行列による計算機システムの効率解析
- 変換半群によるオートマトンの特性化 (オートマトン理論および言語理論の新展開)
- 多重プログラミング・システムの効率について
- 多重しきい値関数の合成 (多値論理およびその応用 II)
- 多値論理関数のカスケード合成 (多値論理およびその応用 II)
- 多値論理関数とそのカスケード合成 (多値論理およびその応用研究会報告集)
- アクチブ線路の基本的性質
- 等式によるLOTOSプロセスの記述と解釈
- 待ち行列モデルを用いた計算機網における通信方式の評価(待ち行列理論とその応用)
- 相互運用性試験アーキテクチャに関する一考察
- 有限BUFFER多重待ち行列の解析(待ち行列理論とその周辺)
- 実行制御機構を持つ融合型言語AMLOG
- 融合型プログラミング言語と処理系の実現について(計算アルゴリズムの基礎理論)
- SAL : LOTOS仕様の意味解析支援システム : 実現方式
- SAL : LOTOS仕様の意味解析支援システム : 目的と概要
- 並列論理型言語GHCの動作的意味論
- 並列論理型言語の動作的意味論
- 項書き換え系の関数型言語への変換による実現 (関数型プログラミング)
- 相互接続された網における輻輳制御方式FCPとその解析的評価(待ち行列理論とその周辺)
- LOTOS仕様からの効率的な試験系列の自動生成
- EXPA : パータベーション解析に基づく通信プロトコルの検証法
- 計算機システムのトータル・スループットに関する考察
- ループネットにおけるステーションバッファとパケット伝送
- リスト処理系設計のための記憶管理に関する考察
- TRSプログラムの自動合成システム
- LOTOSの状態遷移的解釈に関する一考察
- LOTOSに基づいたプロトコル論理検証支援
- NESDEL : プロトコル向き仕様記述言語とその応用
- 通信ソフトウェア向き超高級プログラミング言語IDLとその適用
- 計算機ネットワークにおける画像・文章統合型メールシステムの設計と実現