谷口 健一 | 大阪大学大学院情報科学研究科

スポンサーリンク

概要

• 谷口 健一の詳細を見る
• 同名の論文著者
• 大阪大学大学院情報科学研究科の論文著者

関連著者

• 小林 典男

  東北大金研

• 上田 寛

  東大物性研

• 上田 実

  名古屋大学 大学院医学系研究科頭頸部･感覚器外科学講座

• 上田 昭一

  熊本大学大学院医学薬学研究部泌尿器病態学

• 山浦 淳一

  東大物性研

• 萩原 政幸

  阪大極限セ

• 西 正和

  東大物性研

• 山田 靖哉

  大阪市立大学 大学院医学研究科腫瘍外科学講座

• 岡林 孝弘

  エポジン自己血輸血研究会

• 田中 紀章

  エポジン自己血輸血研究会

• 里見 進

  エポジン自己血輸血研究会

• 鈴木 博孝

  エポジン自己血輸血研究会

• 高木 弘

  エポジン自己血輸血研究会

• 高橋 俊雄

  エポジン自己血輸血研究会

• 斎藤 洋一

  エポジン自己血輸血研究会

• 峠 哲哉

  エポジン自己血輸血研究会

• 杉町 圭藏

  エポジン自己血輸血研究会

• 折田 薫三

  エポジン自己血輸血研究会

• 土師 誠二

  近畿大学医学部第2外科

• 松井 徹哉

  名城大学理工学部建築学科

• 森 正樹

  大阪大学消化器外科

• 福原 知宏

  東京大学人工物工学研究センター

• 三浦 登

  東大物性研

• 後藤 恒昭

  東大物性研

• 永田 見生

  久留米大学 医学部整形外科学講座

• 永田 松夫

  千葉県がんセンター消化器外科

• 堂地 勉

  鹿児島大

• 多胡 茂

  株式会社村田製作所

• 三上 重幸

  株式会社村田製作所

• 坂本 孝一

  株式会社村田製作所

• 石川 容平

  株式会社村田製作所

• 岩朝 光利

  福岡大学病院脳神経外科

• 内藤 正俊

  福岡大学整形外科

• 三田 彰

  慶應義塾大学

• 林 和彦

  住友電工

• 吉田 剛

  三菱電機株式会社情報技術総合研究所

• 水落 隆司

  三菱電機株式会社情報技術総合研究所

• 朝倉 啓文

  日本医大

• 竹下 俊行

  日本医大

• 服部 晃

  岐阜女子大学

• 岩田 展幸

  日本大学理工学部

• 山本 寛

  日本大学理工学部

• 孝橋 賢一

  九州大学形態機能病理

• 小田 義直

  九州大学形態機能病理

• 外山 勝弘

  東邦大学大森病院呼吸器内科

• 木村 一博

  東邦大学大森病院呼吸器内科

• 中田 紘一郎

  東邦大学大森病院呼吸器内科

• 山田 茂人

  久留米大学医学部脳疾患研究所

• 山下 裕史朗

  久留米大学医学部小児科

• 里井 美香

  久留米大学医学部小児科

• 籐後 明子

  久留米大学医学部小児科

• 小枝 達也

  鳥取大学脳研小児科

• 平谷 美智夫

  福井県小児療育センター

• 菅 滋正

  阪大基礎工

• 中尾 裕則

  高エ研

• 村上 洋一

  高エ研

• 杉山 純

  豊田中研

• 伊藤 満

  東工大応セラ研

• 日浦 昌道

  四国がんセンター

• 亀卦川 卓美

  高エネ研

• 香川 利春

  東京工業大学 精密工学研究所

• 鳥羽山 滋生

  聖隷浜松病院小児外科

• 清水 隆司

  NHK放送技術研究所

• 杉之下 文康

  NHK放送技術研究所

• 野本 俊裕

  NHK放送技術研究所

• 松下 吉宏

  NHK営業局

• 久保 歳弘

  NHK営業局

• 杉浦 敏博

  マスプロ電工株式会社

• 木下 義晶

  九州大学小児外科

• 田口 智章

  九州大学小児外科

• 有賀 正

  北海道大学医学部小児科

• 鳴海 拓志

  東京大学大学院工学系研究科

• 廣瀬 通孝

  東京大学大学院情報理工学系研究科

• 長田 卓也

  東京医科大学健康増進スポーツ医学講座

• 高山 智燮

  奈良県立医科大学消化器・総合外科

• 長尾 確

  名古屋大学

• 宗崎 良太

  九州大学小児外科

• 田尻 達郎

  九州大学小児外科

• 安藤 陽一

  阪大産研

• 大澤 敏

  金沢工業大学

• 田口 智章

  九州大学病院MEセンター

• 真鍋 達也

  県立宮崎病院外科

• 宇戸 啓一

  県立宮崎病院外科

• 上田 祐滋

  県立宮崎病院外科

• 豊田 清一

  県立宮崎病院外科

• 栗田 治

  慶應義塾大学

• 早川 裕弌

  東京大

• 林田 真

  九州大学小児外科

• 松浦 俊治

  九州大学小児外科

• 佐伯 勇

  九州大学小児外科

• 内山 秀昭

  九州大学消化器・総合外科

• 副島 雄二

  九州大学消化器・総合外科

• 武冨 紹信

  九州大学消化器・総合外科

• 調 憲

  九州大学消化器・総合外科

• 前原 喜彦

  九州大学消化器・総合外科

• 原田 良夫

  トーカロ

• 熊谷 健一

  北大院理

• 宍戸 寛明

  京大院理

• 松田 祐司

  京大院理

• 鈴木 康弘

  愛知県立大

• 金 志香

  千葉大学大学院

• 桐谷 佳恵

  千葉大学

• 玉垣 庸一

  千葉大学

• 中村 良介

  産業総合研究所

• 山内 勝治

  近畿大学医学部奈良病院小児外科

• 小角 卓也

  近畿大学医学部奈良病院小児外科

• 内海 俊樹

  鹿児島大・理・生物

• 阿部 美紀子

  鹿児島大・理・生物

• 立花 光夫

  島根大学医学部消化器・総合外科

• 庄田 守男

  東京女子医大

• 笠貫 宏

  東京女子医大

• 佐野 功

  佐世保市立総合病院外科

• 桶屋 勝幸

  (株)日立製作所システム開発研究所

• 坂下 博之

  東京医科歯科大学呼吸器内科

• 浜村 吉昭

  神戸市水道局技術部計画課

• 竹内 重隆

  神戸市水道局技術部計画課

• 牛尾 亮太

  神戸市水道局技術部計画課

• 大竹 耕平

  三重大学消化管・小児外科

• 井上 幹大

  三重大学消化管・小児外科

• 小池 勇樹

  三重大学消化管・小児外科

• 松下 航平

  三重大学消化管・小児外科

• 大北 喜基

  三重大学消化管・小児外科

• 吉山 繁幸

  三重大学消化管・小児外科

• 荒木 俊光

  三重大学消化管・小児外科

• 三木 誓雄

  三重大学消化管・小児外科

• 楠 正人

  三重大学消化管・小児外科

• 長谷川 史郎

  静岡県立こども病院小児外科

• 木寺 詔紀

  横浜市立大学大学院生命ナノシステム科学研究科

• 酒井 慎一

  東京大学地震研究所

• 中村 修

  長崎大学生産科学研究科

• 畑中 直樹

  長崎大学生産科学研究科

• 中島 大

  全国小水力利用推進協議会

• 板倉 昭慶

  筑波大学プラズマ研究センター

• 平原 史樹

  横浜市立大

• 三根 有紀子

  福岡県立大学ヘルスプロモーション実践研究センター

• 寺田 恵子

  めぐみ助産院

• 浅野 美智留

  福岡看護専門学校水巻校助産学科開設準備室

• 石橋 美幸

  フムフムネットワーク

• 石井 裕剛

  京都大学

• 小枝 達也

  米国

• 小枝 達也

  鳥取大学教育地域科学部人間教育講座障害児病理学

• 淺間 一

  東京大学

• 菅野 重樹

  早稲田大学

• 小野 嘉之

  東邦大・理・物理

• 久野 公子

  宮崎総農試

• 川崎 安夫

  宮崎総農試

• 水野 章敏

  学習院大学理学部

• 安達 正芳

  東北大学多元物質科学研究所

• 福山 博之

  東北大学多元物質科学研究所

• 小畠 秀和

  東北大学多元物質科学研究所

• 森 宏之

  帝京大

• 仁科 孝子

  東京都立八王子小児病院外科

• 村越 孝次

  東京都立八王子小児病院外科

• 渡邊 昌彦

  北里大学外科

• 平井 郁子

  大妻女子大学短期大学部

• 林原 賢治

  日本医科大学 臨病理

• 喜成 年泰

  金沢大学理工研究域

• 高山 峯夫

  福岡大学工学部建築学科

• 寺川 直樹

  鳥取大

• 前田 忠彦

  科学技術振興機構(jst)社会技術研究開発センター(ristex)

• 福井 真司

  尚絅学院大学

• 黒田 浩一

  京都大学大学院農学研究科応用生命科学専攻

• 古城 幸子

  新見公立短期大学看護学科

• 上山 和子

  新見公立短期大学

• 宇野 文夫

  新見公立短期大学

• 神原 光

  新見公立短期大学

• 岸本 努

  新見公立短期大学

• 鹿島 隆

  新見公立短期大学

• 田中 弘之

  昭和大学藤が丘病院心臓血管外科

• 的場 輝佳

  関西福祉科学大学

• 鷲谷 いづみ

  東京大学大学院農学生命科学研究科

• 李 銀〓

  筑波大学大学院

• 小林 皇

  札幌医科大学医学部泌尿器科学教室

• 加藤 隆一

  札幌医科大学医学部泌尿器科学教室

• 大谷 義夫

  東京医科歯科大学医学部附属病院呼吸器内科

• 小島 勝雄

  東京医科歯科大学医学部附属病院心臓肺外科

• 石川 浩一

  近中四農研

• 工藤 諭

  東大新領域

• 橋本 信

  東大理

• 吉田 鉄平

  東大理

• 藤森 淳

  東大理

• 内田 慎一

  東大理

• 五藤 周

  埼玉県立小児医療センター外科

• 内田 広夫

  埼玉県立小児医療センター外科

• 川嶋 寛

  埼玉県立小児医療センター外科

• 岩中 督

  東京大学小児外科

• 日高 良一

  山口大学大学院連合獣医学研究科

• 長井 千春

  愛知県立芸術大学

• 柳垣 孝広

  市立八幡浜総合病院泌尿器科

• 武田 肇

  市立八幡浜総合病院泌尿器科

• 武内 政幸

  大東文化大学

• 布野 修司

  滋賀県立大学

• 小野 英哲

  東北工業大学建築学科

• 坪内 和女

  福岡大学医学部泌尿器科学教室

• 吉田 一博

  白十字病院泌尿器科

• 小倉 学

  三菱電機(株)人材開発センター

• 吉川 達也

  三菱電機(株)稲沢製作所

• 池田 生馬

  九州大学大学院工学府知能機械システム専攻

• 松田 浩一

  九州大学大学院工学研究院機械工学部門

• 郷田 桃代

  東京電機大学

もっと見る 閉じる

著作論文

• データ付時間オートマトンの双模倣等価性の記号的検証法
• 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
• 拡張時間オートマトン群による実時間システムの記述および検証
• 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
• UML/OCLを用いた分散実時間アプリケーション開発手法の提案
• UML/OCLを用いた分散実時間アプリケーション開発手法の提案
• D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
• 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
• 関数型言語ML向け形式的検証支援システムの試作
• 線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開)
• 関数型言語MLによるプレスブルガー文真偽判定ルーチンの開発と検証支援システムへの応用
• D-3-8 分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案(D-3. ソフトウェアサイエンス)
• マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出
• ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案
• ワークフロー記述向きの時間付きカラーペトリネット
• 時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出
• 時間制約を持つGUI制御部の仕様記述の一手法
• 凹多面体併合を用いた有理数プレスブルガー文真偽判定アルゴリズムの実装と形式的設計検証への適用
• 入力値のみ保持する変数をもつEFSM群に対する動的性質の検証
• CPU設計導入教育への形式的設計検証手法の適用
• 有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装
• 多面体分割を用いた有理数プレスブルガー文真偽判定アルゴリズムとその実装
• 1G-6 有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装
• 冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案
• 複数時間オートマトンによる仕様記述と検証
• 組合わせ幾何を用いた有理数プレスブルガー文真偽判定アルゴリズムにおける投影操作の高速化
• 時間ペトリネットの拡張モデルを用いたプロトコル合成
• Tarski算術における冠頭標準形の閉論理式の真偽判定アルゴリズムの提案
• 耐故障性のための多重化リソースを持つ分散システムの導出法
• GUI制御部の記述と実現の一手法
• 規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
• MANETにおける位置情報マルチキャストルーティングMgCastの提案と性能評価(無線・モバイルネットワーク)
• 階層的キーワードベースの名前管理におけるキーワード管理手法
• あるクラスのOut-of-Order型パイプラインCPUの設計の正しさの十分条件とその形式的検証 (電子システムの設計技術と設計自動化)
• 多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式(マルチメディア通信と分散処理)
• 動画の品質劣化の許容度を考慮した帯域制御の一方式
• 帯域割譲交渉による動的帯域制御方式
• 品質要求を考慮した動的な帯域制御を行うプロトコルの提案とその性能評価
• 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
• 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
• MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
• MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
• データ付時間オートマトンの双模倣等価性の記号的検証法
• アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
• アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
• アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装
• 同期通信可能な周期EFSM群のハードウェア構成法
• 大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減(ネットワーク品質・制御)
• 動画像を用いたコミュニケーションシステム向けのアプリケーション層マルチキャスト
• エンドホストの動画像フィルタリングによるアプリケーション層でのQoSマルチキャストプロトコルの提案(ネットワークプロトコル)(ブロードバンドネットワークサービス)
• モバイルアドホックネットワークシミュレーションの規模適応性を向上させる技法の検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
• MANETにおける位置情報マルチキャストルーティングMgCastの性能評価と応用に関する検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
• マルチランデブチャネルの動的確立機構を持つモバイルアプリケーション記述言語の提案(ソフトウェア工学の基礎)
• 並行モバイルエージェント間でのマルチランデブチャネルの動的設定が記述可能な言語とその実装
• SMILへのQoS保証文の導入とその柔軟な実装法(マルチメディアネットワークシステム)
• データ転送プロトコルに関する性能要求からのプロトコルパラメータの決定
• タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
• タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
• 形式的手法を用いたin-order実行パイプラインCPUの自動設計検証(並列処理)
• モバイルアドホックネットワークシミュレーションの規模適応性を向上させる技法の検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
• ユーザプリファレンスに基づく転送制御を行うアプリケーションレベルマルチキャストの一方式
• IPマルチキャスト環境における複製動画像サーバ選択アルゴリズム(マルチメディアコミュニケーションシステム)
• スループット監視に基づく複製サーバ選択方法のスケーラビリティ向上
• 環境適応型のQoS制御を行うネットワーク資源管理システム
• 時間拡張LOTOSコンパイラの作成とマルチメディアアプリケーションへの応用(マルチメディア通信プロトコル)
• 2V-5 要求品質から要求帯域幅への変換方式と動的な帯域幅制御
• データ付時間オートマトンの双模倣等価性の記号的検証法
• UNIX上で周期スレッドを実現するユーザレベルスレッドライブラリの実現法
• UNIX上で周期スレッドを実現するユーザレベルスレッドライブラリの実現法
• 整数線形計画問題の解非存在性判定を利用した通信プロトコルの自動検証について(計算アルゴリズムと計算量の基礎理論)
• MANETにおける位置情報マルチキャストルーティングMgCastの性能評価と応用に関する検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)

もっと見る 閉じる

スポンサーリンク