関 浩之 | 奈良先端科学技術大学院大学

スポンサーリンク

概要

• 関 浩之の詳細を見る
• 同名の論文著者
• 奈良先端科学技術大学院大学の論文著者

関連著者

• 関 浩之

  奈良先端科学技術大学院大学

• 関 浩之

  奈良先端科学技術大学院大学情報科学研究科

• 高田 喜朗

  奈良先端科学技術大学院大学情報科学研究科

• 石原 靖哲

  大阪大学大学院情報科学研究科

• 嵩 忠雄

  奈良先端科学技術大学院大学 情報科学研究科

• 高田 喜朗

  高知工科大学

• 石原 靖哲

  奈良先端科学技術大学院大学情報科学研究科

• 関 浩之

  大阪大学基礎工学情情報工学科

• 伊藤 実

  奈良先端科学技術大学院大学

• 関 浩之

  大阪大学基礎工学部

• 伊藤 実

  奈良先端科学技術大学院大学情報科学研究科

• 新田 直也

  奈良先端科学技術大学院大学情報科学研究科

• 加藤 有己

  京都大学化学研究所バイオインフォマティクスセンター

• 嵩 忠雄

  奈良先端科学技術大学院大学

• 中西 隆一

  和歌山大学システム工学部

• 王 静

  奈良先端科学技術大学院大学

• 仲川 こころ

  奈良先端科学技術大学院大学 情報科学研究科

• 仲川 こころ

  奈良先端科学技術大学院大学情報科学研究科:(現)独立行政法人通信総合研究所

• 池田 瑞穂

  奈良先端科学技術大学院大学情報科学研究科

• 嵩 忠雄

  大阪大学基礎工学部

• 中西 隆一

  大阪大学基礎工学部情報工学科

• 池田 瑞穂

  奈良先端科学技術大学院大学

• 藤井 護

  大阪大学大学院基礎工学研究科

• 池田 瑞穂

  関西学院大学共通教育センター

• 石原 靖哲

  大阪大学基礎工学部

• 八木 勲

  奈良先端科学技術大学院大学

• 野田 潤

  日本電気株式会社サービスプラットフォーム研究所

• 毛利 寿志

  奈良先端科学技術大学院大学 情報科学研究科

• 野田 潤

  大阪大学大学院基礎工学研究科情報数理系専攻

• 毛利 寿志

  奈良先端科学技術大学院大学

• 野田 潤

  Necサービスプラットフォーム研究所|奈良先端科学技術大学院大学

• 野田 潤

  日本電気株式会社クラウドシステム研究所

• 樋口 昌宏

  大阪大学大学院基礎工学研究科

• 阿久津 達也

  京都大学化学研究所バイオインフォマティクスセンター:京都大学大学院情報学研究科知能情報学専攻

• 工藤 朋之

  株式会社日立製作所

• 國信 茂太

  奈良先端科学技術大学院大学情報科学研究科

• 加藤 有己

  奈良先端科学技術大学院大学 情報科学研究科

• 加藤 有己

  京都大学 化学研究所 バイオインフォマティクスセンター

• 樋口 昌宏

  大阪大学基礎工学部情報工学科

• 楫 勇一

  奈良先端科学技術大学院大学

• 加藤 有己

  奈良先端科学技術大学院大学情報科学研究科

• 井上 克郎

  大阪大学大学院情報科学研究科

• 高田 喜朗

  高知工科大学情報システム工学科

• 楫 勇一

  奈良先端科学技術大学院大学情報科学研究科

• 細見 格

  Necインターネットシステム研究所

• 細見 格

  Necサービスプラットフォーム研究所

• 伊藤 信裕

  奈良先端科学技術大学院大学情報科学研究科

• 工藤 朋之

  奈良先端科学技術大学院大学情報科学研究科

• 野田 潤

  NECインターネットシステム研究所

• 奥井 順

  松下電器産業 中研

• 高井 利憲

  奈良先端科学技術大学院大学情報科学研究科

• 中西 隆一

  奈良先端科学技術大学院大学情報科学研究科

• 高橋 三恵

  NECインターネットシステム研究所

• 中村 岳志

  奈良先端科学技術大学院大学情報科学研究科:(現)日本総合研究所ファイナンスシステム事業本部

• 井上 克郎

  大阪大学大学院基礎工学研究科情報数理系

• 阿久津 達也

  京都大学化学研究所

• 木下 敦史

  奈良先端科学技術大学院大学情報科学研究科:(現)三洋電機株式会社

• 森多 俊之

  奈良先端科学技術大学院大学 情報科学研究科

• 喜家村 奨

  奈良先端科学技術大学院大学情報科学研究科

• 森多 俊之

  奈良先端科学技術大学院大学情報科学研究科

• 井上 克郎

  大阪大学大学院　情報科学研究科

• 高井 利憲

  奈良先端科学技術大学院大学

• 石井 信

  奈良先端科学技術大学院大学

• 田中 猛彦

  奈良先端科学技術大学院大学情報科学研究科

• 南 貴博

  奈良先端科学技術大学院大学情報科学研究科

• 仁野 裕一

  日本電気株式会社サービスプラットフォーム研究所

• 中村 嘉隆

  奈良先端科学技術大学院大学情報科学研究科

• 安田 侑八

  奈良先端科学技術大学院大学 情報科学研究科

• 清水 將吾

  奈良先端科学技術大学院大学情報科学研究科

• 清水 將吾

  奈良先端科学技術大学院大学 情報科学研究科

• 佐野 哲央

  大阪大学基礎工学部情報工学科

• 嵩 忠雄

  広島市立大学情報科学研究科

• 嵩 忠雄

  大阪大学基礎工学部情報工学科

• 大崎 敦司

  大阪大学基礎工学部情報工学科

• 百々 浩樹

  奈良先端科学技術大学院大学情報科学研究科

• 関 浩之

  大阪大学 基礎工学部 情報工学科

• 藤井 護

  大阪大学教養部

• 嵩 忠雄

  広島市立大学

• 中村 嘉隆

  大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest

• 中村 嘉隆

  奈良先端科学技術大学院大学

• 島袋 潤

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

• 奥井 順

  近畿大学大学院生物理工学研究科

• 早川 泉

  奈良先端科学技術大学院大学情報科学研究科

• 西 邦彦

  近畿大学大学院生物理工学研究科

• 嶋 胤俊

  近畿大学大学院生物理工学研究科

• 直井 秀暢

  大阪大学基礎工学部情報工学科(花王株式会社)

• 清水 將吾

  産業技術大学院大学産業技術研究科

• 野田 潤

  日本電気株式会社

• 鯵坂 恒夫

  和歌山大学大学院システム工学研究科

• 田中 翔

  奈良先端科学技術大学院大学情報科学研究科

• 鯵坂 恒夫

  和歌山大学

• 加藤 和彦

  筑波大学

• 片岡 充照

  神戸大学工学研究科

• 片岡 充照

  松下電器産業(株)パナソニックAVCネットワークス社

• 加藤 和彦

  筑波大学大学院システム情報工学研究科

• 品川 高廣

  筑波大学大学院システム情報工学研究科

• 二宮 喜一郎

  ダイキン工業

• 今井 悟士

  奈良先端科学技術大学院大学

• 中江 政行

  日本電気株式会社インターネットシステム研究所

• 河合 栄治

  奈良先端科学技術大学院大学

• 工藤 朋之

  大阪大学基礎工学部

• 奥井 順

  松下電器産業株式会社中央研究所

• 森田 剛正

  高知工科大学

• 阿久 津達也

  京都大学化学研究所バイオインフォマティクスセンター

• 山本 有輝

  奈良先端科学技術大学院大学情報科学研究科

• 葛野 弘樹

  奈良先端科学技術大学院大学情報科学研究科

• 品川 高廣

  東京農工大学工学部

• 石原 靖哲

  大阪大学 大学院基礎工学研究科 情報数理系

• 野田 潤

  NECサービスプラットフォーム研究所

• 田口 大悟

  NEC共通基盤ソフトウエア研究所

• 田口 大悟

  NECインターネットシステム研究所

• 田口 大悟

  日本電気株式会社インターネットシステム研究所,

• 谷口 健一

  Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University

• 嵩 忠雄

  Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University

• 奥井 順

  松下電器産業株式会社研究本部中央研究所

• 鯵坂 恒夫

  現在 和歌山大学システム工学部

• 品川 高廣

  筑波大学システム情報工学研究科

• 大西 浩之

  大阪大学基礎工学部情報工学科

• 安藤 佐知子

  大阪大学基礎工学部情報工学科

• 大崎 敦司

  大阪大学 基礎工学部 情報工学科

• 玉井 順子

  大阪大学基礎工学部情報工学科

• 八木 鉄也

  大阪大学基礎工学部情報工学科

• 島袋 潤

  日立製作所

• 中西 隆一

  大阪大学 基礎工学部 情報工学科

• 藤井 護

  大阪大学 教養部

• 嵩 忠雄

  大阪大学 基礎工学部 情報工学科

• 島袋 潤

  大阪大学基礎工学部情報工学科

• 萩本 和彦

  大阪大学基礎工学部情報工学科

• 藤井 護

  大阪大学基礎工学部情報工学科

• 関 浩之

  Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University

• 村上 哲也

  奈良先端科学技術大学院大学情報科学研究科

• 品川 高廣

  筑波大学 システム情報工学研究科

• 田中 翔

  奈良先端科学技術大学院大学

• 北岡 康司

  奈良先端科学技術大学院大学情報科学研究科

• 河合 栄治

  情報通信研究機構

• 新田 直也

  Nara Institute of Science and Technology

• 関 浩之

  Nara Institute of Science and Technology

• 横森 励士

  大阪大学大学院情報科学研究科

• 伊加田 恵志

  奈良先端科学技術大学院大学 情報科学研究科

• 二宮 喜一郎

  ダイキン工業株式会社電子技術研究所

• 高原 大介

  奈良先端科学技術大学院大学情報科学研究科

• 山田 豊

  ダイキン工業株式会社電子技術研究所

• 尾本 林貞

  ダイキン工業株式会社電子技術研究所

• 高田 喜朗

  NECインターネットシステム研究所

• 関 浩之

  NECインターネットシステム研究所

• 大畑 文明

  (株)東芝

• 片岡 充照

  パナソニック(株)AVCネットワークス社

• 阿部 武徳

  奈良先端科学技術大学院大学情報科学研究科

• 大畑 文明

  大阪大学大学院基礎工学研究科

• 田口 大悟

  日本電気株式会社

• 田口 大悟

  日本電気株式会社インターネットシステム研究所

• 地平 稔

  奈良先端科学技術大学院大学情報科学研究科

• 中江 政行

  日本電気株式会社 サービスプラットフォーム研究所

• 橋本 健二

  奈良先端科学技術大学院大学情報科学研究科

• 巽 知厳

  奈良先端科学技術大学院大学 情報科学研究科

• 新居 英紀

  奈良先端科学技術大学院大学 情報科学研究科

• 岩崎 正秀

  奈良先端科学技術大学院大学 情報科学研究科

• 坂口 和明

  奈良先端科学技術大学院大学 情報科学研究科

• 友谷 有希

  奈良先端科学技術大学院大学情報科学研究科

• 鍵本 聡

  奈良先端科学技術大学院大学情報科学研究科

• 泉野 博明

  奈良先端科学技術大学院大学 情報科学研究科

• 宮原 一喜

  奈良先端科学技術大学院大学情報科学研究科

• 田中 翔

  関西テレビ放送(株)放送技術局

もっと見る 閉じる

著作論文

• オンライン情報ボトルネックEMアルゴリズムによる正規化ガウス関数ネットワークのモデル学習
• ペア確率多重文脈自由文法によるシュードノットつきRNA2次構造予測
• 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
• ラベル付き遷移システムに基づくアスペクト指向プログラムのモデル化
• 木オートマトンを用いたXML処理
• 実行履歴に基づくアクセス制御の形式モデルと検証(セキュリティ,フォーマルアプローチ論文)
• XML文書に対するアクセシビリティガイドライン適合性検証(ソフトウェア,フォーマルアプローチ論文)
• 信用管理における確率モデルに基づく利用者プレゼンスの推定(位置情報とRFID, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
• 代数的仕様からのドュメント自動生成について
• 仮想機械デバイスドライバ検証の一考察
• 自己合成法を利用した再帰プログラムの情報流解析法について
• D-3-1 HBACプログラムのモデル検査の情報フロー解析への応用(D-3.ソフトウェアサイエンス,一般講演)
• 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析
• 実行履歴に基づくアクセス制御付きプログラムのモデル検査
• 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
• プッシュダウンシステムの拡張およびそのモデル検査法
• 分散ポリシー制御の自動検証法について
• インタラクティブシステム設計法におけるタスク図の形式的定義と形式的検証への応用(ソフトウェア工学の基礎)
• インタラクティブシステム設計法におけるタスクモデルの形式的記述と検証
• 抽象的順序機械型代数的仕様からのドキュメント生成システム
• 抽象的順序機械型代数的仕様からのドキュメント生成システムの試作
• 情報流仕様に基づくアクセス制御文の自動生成
• ユーザの動作類似度に基づく共通鍵生成法(セッション6-B:セキュリティ理論)
• 生命の言語の理解をめざして(平成19年度論文賞の受賞論文紹介)
• タンパク質ベータシート予測 : 動的計画法と形式文法によるアプローチ(一般セッション3)
• 相互作用RNA2次構造予測 : 形式文法によるアプローチ
• 形式文法に基づくRNA2次構造予測(若手研究者のための講演会)
• 信用交渉における公開木戦略の計算量(計算機科学の理論とその応用)
• データフロー解析を用いた侵入検知法の提案
• アドホックネットワークにおけるPKI証明書連鎖発見問題について(セッション2:セキュリティ)
• 多重文脈自由文法とマクロ文法の生成能力について
• ユーザの動作類似度に基づく共通鍵生成法(セッション6-B:セキュリティ理論)
• ユーザプレゼンスを利用した信用管理方式
• 確率多重文脈自由文法によるRNAシュードノット構造予測(DNA・タンパク質構造)
• RNA2次構造記述向き形式文法の生成能力について(文字列アルゴリズム)
• 通信プロトコルのフェーズ連結法とそれに基づく検証法
• VAR-CCGの生成能力について
• 語彙機能文法のいくつかの部分クラスに対する一般認識問題の計算量について
• 自然語仕様から代数的仕様への変換における表現式の構文規則の生成
• メソッドスキーマにおける型整合性の解析アルゴリズム
• メソッドスキーマの型整合性の十分条件
• 有界到達可能性解析を用いた非有界通信プロトコルの解析法
• 自然語仕様から代数的仕様への変換における辞書項目生成の支援
• 多重文脈自由文法の認識問題について
• 拡張有限状態機械でモデル化したOSIセションプロトコルの検証
• 優先サービスを含む通信プロトコルの安全性の検証
• 多重文脈自由文法の所属問題に対する並列アルゴリズム(計算および計算量理論とその周辺)
• 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
• 多重文脈自由文法のある部分クラスに対する効率の良い構文解析法について
• 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
• On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$
• Head Languageおよび多重文脈自由言語の所属問題
• 一般化文脈自由文法と多重文脈自由文法
• 相互作用RNA2次構造予測 : 形式文法によるアプローチ
• 有界重なり項書換え系と構成的正則保存性
• 順序ソート付き単一化問題を解くための手続き : 左非線形システムへの対応
• 信用管理における確率モデルに基づく利用者プレゼンスの推定
• 分散ポリシー制御のためのポリシー記述言語
• 束構造のセキュリティモデルに基づくプログラムの情報フロー解析
• 抽象的順序機械型代数的仕様からのドキュメント生成システム
• 拡張プッシュダウンシステムの正則木評価によるLTLモデル検査法(続・システム検証の科学技術,サイバー増大号)
• ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
• ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
• ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
• スタック検査機能を持つプログラムに対する効率のよいセキュリティ検証法(プログラミング及びプログラミング言語)
• スタック検査機能をもつプログラムに対するセキュリティ検証問題の決定可能性
• スタック検査を含むプログラムに対する効率のよいセキュリティ検証法
• スタック検査機能を持つプログラムの制御フロー解析に基づくセキュリティ検証法
• ソフトウェア設計変更支援のための依存論理の提案
• 空調機用マイコンソフトの形式的仕様記述と検証法について
• 代数的言語ASL/※によって定義される合同関係の操作的意味について
• 代数的言語ASL/※と論理型言語間の等価変換について
• XMLアクセス制御における木オートマトンを利用した静的解析(システム検証の科学技術)
• XMLアクセス制御における木オートマトンを用いた静的解析
• データマイニングに要する計算量に関する一考察
• アドホックネットワークにおけるPKI証明書連鎖発見問題について(セッション2:セキュリティ)
• システムの内部状態を導入した信用管理モデル
• 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
• オブジェクト指向データベースにおける型検査問題の計算量
• オブジェクト指向データベースにおける型検査問題の計算量
• 有界経路重なり項書換え系の停止性問題について (計算理論とアルゴリズムの新展開)
• XML文書に対するアクセシビリティ・ガイドラインの自動検証
• ユーザインタフェースの代数的仕様記述と仕様からのプログラム生成
• マルチエージェント環境における時刻の前後関係に関する推論問題
• データマイニングにおける頻出集合問題の計算複雑さ
• AI-1-2 システム設計・検証の数理(AI-1.システム数理と応用-CSTからMSSへ-,依頼シンポジウム,ソサイエティ企画)
• Secure user-role assignment in cross-organizational role-based access control (ソフトウェアサイエンス)
• セキュリティ解析アルゴリズムの実現とオブジェクト指向言語への適用に関する一考察
• インタラクティブシステムの設計におけるタスクの形式的記述とその実現
• ユーザタスクの形式的記述に基づくインタラクティブシステム設計法の提案
• 2C-4 インタラクティブシステム設計におけるタスクの形式的記述とその実現
• A-7-2 システムの内部状態を導入した信用管理モデル(A-7. 情報セキュリティ)
• 抽象的データタイプの記述言語としての代数的仕様記法
• 抽象データタイプ・データベース管理システム : OSの核(kernel)として
• 多組織ロールベースアクセス制御における安全なユーザ・ロール関係表現方式
• 並列多重文脈自由言語の時間的効率のよい認識アルゴリズム
• 木記憶を持つ木オートマトン
• 木記憶を持つ木オートマトン
• オブジェクト指向データベースにおけるインスタンスの内容に依存したアクセス権モデルの設計 (時空間データベースおよび一般)
• RNA構造解析のための確率多重文脈自由文法(Sequence & structure analysis)
• 可変なカテゴリ構造を用いた文書検索支援手法の実験的評価
• 同期イベントを用いたプロセス分解法とカウンタプロセス分解への応用
• ラベル付き遷移システムで記述された要求仕様の並列プロセス群への一分解法(マルチメディアコミュニケーションシステム)
• 動作定義と外部イベント集合からの並列プロセス自動生成法
• 対話的に調整可能な文書ランキング : WWW検索支援の一手法
• 可変なカテゴリ構造を用いた文書検索支援手法
• 対話的に文書ランキングを調整できるWWW検索支援手法
• 対話的に文書ランキングを調整できるWWW検索支援手法
• 検索目的を反映したカテゴリ構造に基づくWWW検索支援
• 可変なカテゴリ構造を用いたWWW検索支援方法
• オブジェクト指向データベースにおけるデータ漏洩検出問題に関する考察
• オブジェクト指向データベースにおけるアクセス権モデルの設計
• 2本の時間軸間の時間的推論
• オブジェクト指向データベースにおける質問のアクセス権分析
• Type Consistency Problems for Queries in Object-Oriented Databases
• ネットワークを同定するアルゴリズムのプロセス代数による記述とその形式的検証
• マジックセット法を用いた問合せ処理の停止性について
• マジックセット法を用いた演鐸データベース評価時の停止性について
• 言語理論の話をしよう
• オブジェクト指向データベースにおける質問の型検査問題
• オブジェクト指向データベースプログラムにおける型検査のアクセス制御への応用
• 系列を扱う論理型言語
• 決定性線形下降木変換器における頂点問合せ保存

もっと見る 閉じる

スポンサーリンク