田中 英彦 | 東京大学工学部
スポンサーリンク
概要
関連著者
-
田中 英彦
東京大学工学部
-
田中 英彦
東京大学大学院工学系研究科
-
田中 英彦
情報セキュリティ大学院大学
-
田中 英彦
東大
-
小池 汎平
電子技術総合研究所
-
小池 汎平
東京大学工学部
-
田中 英彦
東京大学 工学部
-
田中 英彦
無機材質研究所
-
荒木 拓也
東京大学工学系研究科:(現)nec C&cメディア研究所
-
柏野 邦夫
東京大学工学部電気工学科
-
舘村 純一
東京大学工学部電気工学科
-
角田 達彦
京都大学工学研究科電子通信工学
-
角田 達彦
東京大学工学部
-
中臺 一博
東京大学工学部電気工学科
-
田中 英彦
物質・材料研究機構物質研究所
-
服部 直也
日立製作所中央研究所
-
中田 秀基
電子技術総合研究所
-
中村 友洋
(株)日立製作所 中央研究所
-
中村 友洋
東京大学工学部
-
田中 英彦
物質・材料研究機構ナノセラミックスセンター
-
木下 智義
東京大学工学部電気工学科
-
木下 智義
東京大学大学院工学系研究科:(現)有限会社ネットコンパス
-
中村 宏
東京大学大学院工学系研究科電気工学専攻
-
辻 秀典
情報セキュリティ大学院大学
-
中田 秀基
東京大学工学部
-
橋本 正樹
情報セキュリティ大学院大学
-
坂井 修一
東京大学工学系研究科電気工学
-
土井 晃一
株式会社 富士通研究所
-
元岡 達
東京大学工学部電気工学科
-
島田 健太郎
東京大学工学部電気工学科
-
中村 宏
東京大学工学部電気工学科
-
入江 英嗣
東京大学大学院情報理工学系研究科
-
坂井 修一
東京大学情報理工学研究科電子情報学専攻
-
辻 秀典
情報セキュリティ大学院大学:株式会社情報技研
-
坂井 修一
東京大学
-
辻秀 典
情報セキュリティ大学院大学:株式会社情報技研
-
服部 直也
東京大学大学院情報理工学系研究科
-
藤田 昌宏
東京大学工学部電子工学専攻
-
吉瀬 謙二
東京大学大学院工学系研究科:(現)電気通信大学大学院情報システム学研究科
-
吉瀬 謙二
東京大学工学研究科
-
田中 裕治
東京大学情報理工学系研究科
-
佐藤 充
東京大学工学系研究科
-
高橋 栄一
東京大学工学部電気工学科
-
金 美羅
情報セキュリティ大学院大学
-
辻 秀典
情報セキュリティ大学院大学|株式会社情報技研
-
山口 健輔
東京大学
-
田中 裕治
東京大学大学院情報理工学系研究科
-
吉田 実
東京大学工学部電気工学科
-
河野 真治
(株)ソニーコンピュータサイエンス研究所
-
吉瀬 謙二
東京工大
-
内田 友幸
東京大学工学部
-
内田 友幸
東京大学大学院工学系研究科
-
佐川 浩彦
Rwcp、新機能日立研究室-1
-
宮本 久仁男
情報セキュリティ大学院大学
-
白石 知之
東京大学工学部
-
谷地田 瞬
(株)日立製作所
-
堀合 啓一
防衛省技術研究本部電子装備研究所 情報セキュリティ大学院大学
-
馬場 恒彦
東京大学工学系研究科
-
河野 真治
東京大学工学部
-
藤田 昌宏
東京大学大学院工学系研究科電子工学
-
入江 英嗣
科学技術振興機構
-
飯塚 大介
東京大学大学院工学系研究科
-
谷地田 瞬
東京大学
-
服部 直也
東京大学工学系研究科
-
吉羽 治峰
パナソニック(株)システムソリューションズ社
-
堀合 啓一
情報セキュリティ大学院大学情報セキュリティ研究科
-
金指 和幸
富士通(株)
-
平木 敬
東京大学大学院情報理工学系研究科
-
松岡 聡
国立情報学研究所
-
山本 修一郎
名古屋大学情報連携統括本部情報戦略室
-
五十嵐 健夫
東京大学
-
奥乃 博
Ntt基礎研究所
-
平木 敬
東京大学理学部情報科学科,電子技術総合研究所
-
藤田 昌宏
富士通研究所人工知能研究部
-
相田 仁
東京大学工学部電子・電気工学科
-
坂井 修一
東京大学大学院工学系研究科
-
佐藤 充
株式会社富士通研究所
-
河内谷 幸子
東京大学理学部情報科学科
-
松本 尚
東京大学大学院理学系研究科情報科学専攻:科学技術振興事業団さきがけ研究21「情報と知」領域
-
松本 尚
東京大学理学部情報科学科
-
河内谷 幸子
東京大学理学系研究科
-
平木 敬
東京大学理学部情報科学科
-
相田 仁
東京大学工学系研究科
-
五十嵐 健夫
東京大学情報工学専攻
-
藤澤 一樹
情報セキュリティ大学院大学
-
大久保 隆夫
株式会社富士通研究所
-
五十嵐 健夫
東京大学工学系研究科
-
中台 一博
東京大学工学部
-
中壷 一博
東京大学工学部
-
三吉 貴史
東京大学理学部
-
山本 修一郎
名古屋大学
-
笹村 直樹
情報セキュリティ大学院大学
-
田中 英彦
株式会社NEC情報システムズ
-
三吉 貴史
株式会社富士通研究所
-
五十嵐 健夫
東大
-
五十嵐 健夫
東京大学:科学技術振興機構 さきがけ
-
飯塚 大介
東京大学工学系研究科
-
村上 聡
Nttデータ通信株式会社
-
大久保 隆夫
(株)富士通研究所
-
何 千山
日本アイ・ビー・エム(株)東京基礎研究所
-
何 千山
東京大学工学部
-
奧乃 博
Ntt基礎研究所
-
白木 長武
東京大学工学部電気工学科
-
大内 敦夫
東京大学工学部
-
三吉 貴史
東京大学理学部情報科学科
-
中井 正弥
東京大学工学部
-
金子 朋子
情報セキュリティ大学院大学
-
野中 聡
旭川医科大学耳鼻咽喉科・頭頸部外科学講座
-
野中 倫明
東京都立大塚病院 外科
-
野中 作太郎
九州電気専門学校
-
笠木 伸英
東京大学大学院工学系研究科
-
鷲谷 いづみ
東京大学大学院農学生命科学研究科
-
松岡 聡
東京工業大学
-
山本 修一郎
(株)NTTデータ技術開発本部システム科学研究所
-
山本 修一郎
株式会社NTTデータ
-
辻 秀典
(株)情報技研
-
浅島 誠
東京大学大学院 総合文化研究科 生命環境科学系
-
浅島 誠
東京大学大学院総合文化研究科
-
佐藤 学
東京大学大学院
-
山岸 俊男
北海道大学
-
安島 雄一郎
東京大学大学院工学系研究科
-
猿田 享男
慶應義塾大学内科
-
笠木 伸英
東大工
-
猿田 享男
慶応義塾大学医学部内科
-
入倉 孝次郎
京都大学防災研究所
-
石井 夏生利
情報セキュリティ大学院大学
-
山本 修一郎
Nttマルチメディアシステム総合研究所
-
猿田 享男
慶應義塾大学医学部内科
-
猿田 享男
慶応義塾大学保健管理センター
-
猿田 享男
慶応義塾大学 医学部内科
-
猿田 享男
防衛医科大学校 腎臓内科
-
猿田 享男
慶応義塾大学内科
-
閔 京華
東京大学
-
角田 達彦
東京大学医科学研究所
-
入倉 孝次郎
愛知工業大学
-
鈴木 莊太郎
東邦大学医療センター大森病院
-
辻 秀典
株式会社情報技研
-
金沢 一郎
日本学術会議
-
御園生 誠
独立行政法人 製品評価技術基盤機構
-
井上 達夫
東京大学大学院法学政治学研究科
-
松本 三和夫
東京大学大学院人文社会系研究科
-
札野 順
金沢工業大学科学技術応用倫理研究所
-
露木 聡
東京大学大学院農学生命科学研究科
-
荒井 正人
株式会社日立製作所システム開発研究所
-
辻秀 典
情報セキュリティ大学院大学
-
田中 英彦
株式会社情報技研
-
鷺谷 いづみ
東京大学大学院農学生命科学研究科
-
松岡 聡
東京大学工学部
-
中ダイ 一博
東京大学工学部
-
中 一博
東京大学工学部
-
西村 克信
慶應義塾大学理工学部
-
弓場 敏嗣
電子技術総合研究所知能システム部
-
山本 修一郎
名古屋大学工学部
-
秋山 知之
東京大学工学系研究科
-
札野 順
金沢工業大学 科学技術応用倫理研究所
-
札野 順
金工大・工
-
角田 達彦
東京大学 工学部
-
白石 知之
東京大学
-
山本 修一郎
NTTデータ
-
朝長 秀誠
情報セキュリティ大学院大学
-
弓場 敏嗣
電気通信大学大学院
-
弓場 敏嗣
電子技術総合研究所
-
猿田 享男
慶応義塾大学
-
板倉 征男
情報セキュリティ大学院大学情報セキュリティ研究科
-
佐藤 学
東京大学大学院教育学研究科
-
小池 汎平
電子技術総合研究所情報アーキテクチャ部
-
板倉 征男
日本電信電話公社
-
丸山 勉
東京大学工学部
-
酒井 保明
東京大学工学部
-
源 直人
情報セキュリティ大学院大学
-
堀合 啓一
防衛省技術研究本部電子装備研究所,情報セキュリティ大学院大学
-
今泉 隆文
防衛省技術研究本部電子装備研究所
-
澤田 忍
株式会社NTTデータ
-
柿本 圭介
情報セキュリティ大学院大学
-
大木 安紀
情報セキュリティ大学院大学
-
大久保 隆夫
情報セキュリティ大学院大学
-
阿部 義徳
情報セキュリティ大学院大学情報セキュリティ研究科
-
安島 雄一郎
東京大学工学部
-
吉田 敦
東京大学工学部
-
猿田 享男
清水市立病院
-
計 宇生
National Institute Of Informatics
-
井上 達夫
東京大学大学院
-
入倉 孝次郎
愛知工業大学地域防災研究センター
-
Irikura K
Kyoto Univ.
-
Irikura Kojiro
Disater Prevertion Research Institute Kyoto University
-
Irikura Kojiro
Desaster Prevention Research Institute Kyoto University
-
Irikura Kojiro
Disaster Prevention Research Institute Kyoto University
-
Irikura Kojiro
Kyoto University
-
宗吉 隆行
情報セキュリティ大学院大学
-
下山 健
東京大学 工学部
-
小沢 年弘
(株)富士通研究所
-
嶺野 和夫
富士通株式会社
-
村上 聡
東京大学工学部
-
鈴木 莊太郎
東邦大学医学部病院管理学研究室
-
下山 健
東京大学工学部
-
藤田 昌宏
(株)富士通研究所
-
閔 京華
東京大学工学部電気工学科
-
入倉 孝次郎
愛知工業大学地域防災研究センタ
-
武川 宏
情報セキュリティ大学院大学情報セキュリティ研究科
-
山口 和晃
情報セキュリティ大学院大学情報セキュリティ研究科
著作論文
- Botnetの命令サーバドメインネームを用いたBot感染検出方法(セッション1)
- ARTによる単語の出現頻度処理を応用した概念関係の獲得
- 科学者倫理の確立に向けて声明表出に際しての会長談話, 声明「科学者の行動規範について」
- ICOTone : 立派なベースLPB88
- L-022 仮想マシンモニタにおけるデバイスドライバ安全性向上に関する提案(L分野:ネットワーク・セキュリティ)
- 分散システムにおけるCapabilityを用いた資源アクセス制御
- アプリケーション・プラットフォームとしてのセキュアOSに関する初期的検討
- M_053 分散環境におけるセキュアな資源管理方式に関する研究(M分野:アーキテクチャ・ユビキタス・セキュリティ)
- 対話的整形による幾何学的図形の高速描画(次世代ヒューマンインタフェース・インタラクション)
- 自動認識整形機能をもったペンによる描画システム
- 音楽情景分析の処理モデルOPTIMAにおける和音の認識
- 音楽情景分析の処理モデルOPTIMAにおける単音の認識
- 音楽情景分析の処理モデルOPTIMAにおける統計的単音仮説生成処理
- 音楽情景分析の処理モデルOPTIMAにおけるシーン情報の抽出と利用
- 音楽情景分析の処理モデルOPTIMAの実装
- 処理モデルOPTIMAに基づく音楽情景分析システムの構築 II : 情報統合の実現と評価
- 処理モデルOPTIMAに基づく音楽情景分析システムの構築 I : 各処理モジュールの実現と評価
- 音楽単音記号列生成システムの処理モデルOPTIMAにおける単音仮説生成処理
- 1. 計算機への音楽の入力 : 「音」の分離抽出の難しさ ( 音楽情報処理
- 音楽音響信号から単音記号列を生成するシステムOPTIMAの全体像
- 音源分離システムにおけるパターン照合モジュールの動的負荷分散を用いた並列実装
- 二つの周波数成分の分離知覚に関する工学的モデル : 複数の要因の評価と統合
- 音源分離システムにおけるパターン照合モジュールの並列実装と評価
- 音源分離システムにおける音モデルの自動獲得 : II : ボトムアップ処理と音モデルに基づく処理との協調
- 音源分離システムにおける音モデルの自動獲得 : I : 音モデルの抽象化
- 音楽音響信号を対象とする音源分離システム : 音モデルに基づくアプローチ
- RDTネットワークにおける疑似フルマップ方式の評価
- ディレクトリキャッシュにおける疑似フルマップシステムの定量的評価
- ニューラルネットワークを用いた分業TSPの解法
- 医療分野におけるRFIDタグシステムの情報セキュリティの確保(セッション1-B:セキュリティ応用技術)
- シンクライアントアーキテクチャをベースにしたセキュアクライアントの検討
- 英語名詞の多義性解消における文脈としての場面情報の評価
- 談話解析に基づく場面の同定とその評価
- 場面情報に基づく英語名詞の語義の優先づけ方法と評価
- 結束構造および一貫性に基づく場面構造の解析
- 分業巡回セールスマン問題のニューラルネットワークによる解法
- 辞書ベースの連想記憶に基づく日常生活場面の同定
- 辞書ベースの連想記憶による文脈理解のための場面同定機構
- 辞書ベース連想による場面同定に必要な文脈情報量の推定
- 連想推論における逐次学習方式の定式化とその評価 : 曖昧性解消に必要な文脈情報の定量化
- ニューラルネットワークと記号処理の統合による連想補完文字認識
- PDAI&CDに基づく意味の学習および文脈依存の多義性解消 : 神経回路網と論理記号処理の統合による連想推論
- 神経回路網に基づく超並列連想システムWAVE
- 論理プログラミングを基礎とした認可ポリシ記述言語
- 相互結合網RSOTのルーチング方式
- 機密情報共有に有用な情報フロー制御モデルの提案
- ネットワーク仮想化機構とその評価
- PIE64の通信機能の測定
- 並列計算機PIE64の通信機能の評価
- VLDP3アーキテクチャにおけるメモリリネーミング手法の検討
- VLDP3アーキテクチャにおけるレジスタ値の高速Forwarding手法の提案
- VLDP3 : データフローを高速実行する大規模アーキテクチャ
- C-16 VLDP3アーキテクチャの構想(3) : レジスタフォワーディング機構の初期検討(計算機アーキテクチャと最適化,C.アーキテクチャ・ハードウェア)
- C-15 VLDP3アーキテクチャの構想(2) : ソフトウェア支援(計算機アーキテクチャと最適化,C.アーキテクチャ・ハードウェア)
- C-14 VLDP3アーキテクチャの構想(1) : プロセッサ構成(計算機アーキテクチャと最適化,C.アーキテクチャ・ハードウェア)
- 2000-HPC-82-19 コンパイラによるロード・ストア負荷の軽減
- 実行サイクル数予測に基づく大域的命令スケジューリングの実装と評価
- 2D-3 予測実行サイクル数に基づいた大域的命令スケジューリング
- 「分散処理特集号」の編集にあたって
- 高並列推論エンジンPIEにおけるゴールフレーム表現方式の評価
- スペルベルの象徴解釈モデルに基づく隠喩の検出
- 単語の頻度情報を応用した文の評価
- ARTを利用した多義語の分類とその評価
- ARTを用いた自然言語中の単語の頻度の情報処理 : 文書クラスタリングによる単語の連想関係の取得
- 効率的なセキュリティ要求分析手法の提案
- デジタル教材の著作権料分配方法の提案-新電子教科書プロジェクト-
- マルウェア亜種の動的挙動を利用した自動分類手法の提案と実装
- メンバの入れ替えが生じる環境下でのマルチキャスト通信の暗号化鍵管理方法の評価・検討(情報通信基礎サブソサイエティ合同研究会)
- メンバの入れ替えが生じる環境下でのマルチキャスト通信の暗号化鍵管理方法の評価・検討(情報通信基礎サブソサイエティ合同研究会)
- メンバの入れ替えが生じる環境下でのマルチキャスト通信の暗号化鍵管理方法の評価・検討(情報通信基礎サブソサイエティ合同研究会)
- セキュアなアプリケーション開発のための要求・デザインパターンの提案(セッション5-B:セキュアプロトコルとセキュアソフトウェア開発)
- サイバーワールド論文特集の発行にあたって
- O-010 情報システムへのオープンソースソフトウェア導入に関するガイドライン策定(O分野:情報システム)
- L-034 自己組織化マップを用いた異常検知についての一検討(L分野:ネットワーク・セキュリティ)
- L-033 C&Cセッション分類によるボットネットの検出手法の一検討(L分野:ネットワーク・セキュリティ)
- メモリアクセスの時間的周期性を利用した動的データプリフェッチ機構
- 隠喩理解 : 連想網と意味ネットワークとの整合
- サービスベースシステムにおけるトランザクションの並行制御
- オブジェクト指向に基づいた分散プログラム開発環境
- 関係データベースに基づく演繹データベースの推論実行方式
- 並列計算機PIE64における Committed-choice型言語Flengの負荷分散手法
- Committed-Choice型言語Flengにおける静的負荷分割のPIE64上での実装および評価
- ゴールの融合によるCommitted-Choice型言語Flengの最適化
- PIE64におけるCommitted-Choice型言語flengの動的粒度制御のためのコンパイル手法
- flengの動的粒度制御のための静的解析手法
- データフロー解析に基づくCommitted-Choice型言語Flengの静的負荷分割
- データフロー解闘斤に基づくCommitted Choice型言語のスヶジューリング
- 高並列推論エンジンPIE64研究経過報告 : ソフトウェア
- Committed-Choice型言語へのオブジェクトの導入
- Committed-Choice型言語Flengにおける配列処理の最適化
- 4N-3 並列論理型言語Flengにおけるプリミティブなオーバーヘッド解析
- Committed-Choice型言語Flengにおける粒度制御法の評価
- 共有メモリ型並列計算機上のFleng処理系におけるオーバーヘッドの定量的解析
- Committed-Choice型言語へのループ記述構文の導入
- Committed-Choice型言語Flengにおける静的粒度最適化
- 共有メモリ型並列計算機上へのFleng処理系の実装及び評価
- Committed-Choice型言語Flengのワークステーションクラスタ上処理系の定量的評価
- Committed-Choice型言語Flengのインライン展開による粒度制御手法
- Committed-Choice型言語Flengにおける静的粒度最適化
- 並列論理型言語Flengのワークステーションクラスタへの実装
- 疑似並列エミュレータによる単一参照アノテーションの評価
- 時相論理に基づく論理回路検証システム
- RTL-Tokioに基づくパイプライン化支援
- RTL-Tokio : レジスタトランスファレベル動作記述言語
- 時相論理によるハードウェア同期部の仕様記述とPrologによるその状態遷移表への自動合成法
- ハードウェア状態遷移表現のPrologによる検証
- 時相論理によるハードウェア仕様記述とPrologを用いたゲート回路の検証
- 多空間ディレクトリシステム(MSDS)
- 2ZE-7 アクタ関係表に基づくセキュリティ要求分析手法(SARM)の改良提案(認証プラットホーム,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 2ZE-6 漸進的分析によるWeb予約システムのセキュリティ要件作成方法について(認証プラットホーム,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 1ZE-4 マルウェア解析の効率化手法の検討(ネットワークセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 高並列推論エンジンPIE64研究経過報告-ハードウェア-
- 並列推論マシン PIE64 の 相互結合網の作製および評価 (並列処理)
- PIE64の相互結合網の電気的特性の評価
- PIE64における推論ユニットの概要
- PIE64の実装設計の概要
- 二分決定グラフ(BDD)による多重文脈型真偽維持システムBMTMS
- 二分決定グラフ(BDD)による真偽維持システムの実現
- 隠喩理解のための知識表現に関する一提案
- 隠喩理解 : 人間の連想に基づく理解モデルの提案
- 状況意味論を用いた諺理解
- 隠喩理解 : 連想実験に基づく考察
- 隠喩理解 : システム構造と理解方式の提案
- 音楽情景分析の処理モデルOPTIMAにおける単音・和音仮説生成の改善
- バンバン粒度制御:高並列汎用処理における最適粒度制御
- レジスタウィンドウを用いたマルチスレッドプロセッサの設計
- Committed-Choice型言語Flengによる並列数式処理
- データフロートレーサによる並列論理型言語Flengのパフォーマンスデバッギング
- データフロートレーサによる並列論理型言語Flengのパフォーマンスデバッギング
- マルチウインドウデバッガ HyperDEBU における細粒度高並列プログラムの実行のデータフローの視覚化
- 可変ルーティング機能を付加した相互結合網のスイッチング・ユニット
- インジェクション系攻撃防止ライブラリの評価
- インジェクション系攻撃防止ライブラリの評価
- データ取得性制御可能なP2Pネットワークアーキテクチャの提案(情報通信基礎サブソサイエティ合同研究会)
- データ取得性制御可能なP2Pネットワークアーキテクチャの提案(情報通信基礎サブソサイエティ合同研究会)
- B-7-166 モバイルエージェントによる新しいログ管理方式の検討(B-7.情報ネットワーク,一般講演)
- B-6-82 ユーザとその居場所に応じたアクセス制御(B-6.ネットワークシステム,一般講演)
- 明示的な分岐制御の可能性の検討および制御機構の提案
- 制御依存関係による並列度利用の限界に関する定量的評価
- データフローグラフを用いた複数命令のブロック化
- メモリアクセスパターンの局所性に基づくキャッシュメモリ構成方式の検討
- プログラム解析に基づく分岐予測機構に関する問題点の検討
- 分業巡回セールスマン問題の並列計算機への実装
- 人工データを用いたMBRの属性重み付け手法の評価
- 記憶に基づく推論による天気予測 : 相互情報量による回答分布評価と気象庁との比較
- 完全グラフ表現による遺伝的アルゴリズム
- 記憶に基づく推論方式による天気予報 : システムの性能評価
- 行動履歴からの事例の自動抽出と帰納推論への適用
- 記述名表現方式とネットワークを利用した記述名解決法
- 記述名表現方式と意味ネットワークを利用した記述名解決法
- Cコンパイラにおけるループ最適化の検討
- サイバーワールド論文特集の発行にあたって
- 時相論理型言語Tokioに基づく論理設計支援システム
- コンピュータ・コンプレックス小特集号を出すにあたって : 緊密に結合された複合計算機システム
- 動的負荷分散を行う相互結合網の構成
- ゴール書換えモデルに基づく論理型プログラムの並列処理方式
- 並列Prolog処理システム"Paralog"について
- 高並列プログラムのパフォーマンス・デバッギング・ツールpaf
- 並列論理型言語FlengのデバッガHyperDEBUにおける視覚化支援機能
- 並列論理型言語FlengのマルチウインドウデバッガHyperDEBU (並列処理)
- 並列論理型言語FlengのマルチウインドウデバッガHyperDEBU
- 実行プロファイルに基づくコミッティッドチョイス型言語の静的負荷分割手法 (並列処理)
- 並列論理型言語FlengのデバッガHyperDEBUのトップレベルウィンドウ
- 並列論理型言語FlengのデバッガHyperDEBUにおける入出力トレ-ス
- 並列論理型言語Flengのマルチウインドウ・デバッガHyperDEBU
- Fleng++実験環境
- Committed-Choice型言語FLENGのデバッガDEBU
- マルウエア動的解析に於ける自動分類手法の研究
- 時相論理を動作記述に用いたデータパス検証システム
- Tokioに基づくデータパス検証システムの評価
- RTL-Tokio記述からの制御系の抽出
- 時相論理型言語Tokioにおける非決定的実行
- ストリームベースのオブジェクト指向言語におけるメッセージリダクションの並列化
- 並列オブジェクト指向言語Fleng++の優先通信の実装とストリーム操作の高速化
- 並列論理型言語FLENG--のデータベース操作に関する考察
- マルウエア動的解析に於ける自動分類手法の研究
- 推論プロセッサUNIREDII : プロセッサ・アーキテクチャの評価 (並列処理)
- 推論プロセッサUNIRED II : プロセッサ・アーキテクチャの評価
- 推論プロセッサUNIRED II : シミュレーションによる性能評価
- 推論プロセッサUNIREDII : 専用命令セットの実現
- 並列推論マシンPIE64の推論プロセッサUNIREDの概要
- PIE64のゴール間同期/分散ガベージコレクション支援機構
- トラフィックパターンを隠すアプリケーションベースVPNの実現方式
- アクタ関係表に基づくセキュリティ要求分析手法(SARM)を用いたスパイラルレビューの提案
- 特徴データベースを用いない効率的な仮想マシンモニタ検出方式の提案
- 時相論理に基づく順序回路検証システムの二分決定グラフを用いた改良
- 単一化可能パタン検索の最適化
- 並列推論マシンPIE64における拡張デレファレンス機構
- 漢字の階層的構造を用いた部分要素への分割による類似文字弁別手法
- 漢字の階層構造を利用した文字認識システム
- 漢字の階層性に注目した文字認識手法
- Committed-Choice型言語FLENGのタイプ/モード推論
- 視点情報を前提とした意味構造間距離の定義とその評価
- 話者視点の解析を利用した談話構造抽出
- 意味情報の主導による不適格文の処理
- 非文法的な文章における意味を考慮した解析手法について
- 高速通信機構を用いたソフトウェアDSMのパフォーマンス解析
- 並列推論エンジンPIE64の通信系の評価
- 並列オブジェクト指向言語Fleng++によるユーザインタフェースの構築
- 音源分離システムにおける時間的統合 : Old-Plus-New Heuristic の導入