石原 靖哲 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
石原 靖哲
大阪大学大学院情報科学研究科
-
石原 靖哲
大阪大学大学院基礎工学研究科情報数理系
-
藤原 融
大阪大学大学院情報科学研究科
-
関 浩之
奈良先端科学技術大学院大学
-
藤原 融
大阪大学大学院基礎工学研究科情報数理系
-
橋本 健二
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学大学院基礎工学研究科
-
石原 靖哲
奈良先端科学技術大学院大学情報科学研究科
-
伊藤 実
奈良先端科学技術大学院大学
-
伊藤 実
奈良先端科学技術大学院大学情報科学研究科
-
藤原 融
大阪大学基礎工学部情報工学科
-
関 浩之
奈良先端科学技術大学院大学情報科学研究科
-
藤原 融
大阪大学 大学院情報科学研究科
-
清水 將吾
奈良先端科学技術大学院大学 情報科学研究科
-
清水 將吾
産業技術大学院大学産業技術研究科
-
清水 將吾
奈良先端科学技術大学院大学情報科学研究科
-
石原 靖哲
大阪大学基礎工学部
-
嵩 忠雄
奈良先端科学技術大学院大学 情報科学研究科
-
関 浩之
大阪大学基礎工学部
-
工藤 朋之
株式会社日立製作所
-
森多 俊之
奈良先端科学技術大学院大学 情報科学研究科
-
関 浩之
大阪大学基礎工学情情報工学科
-
森多 俊之
奈良先端科学技術大学院大学情報科学研究科
-
高須賀 史和
大阪大学大学院情報科学研究科
-
工藤 朋之
奈良先端科学技術大学院大学情報科学研究科
-
森 健吾
大阪大学 大学院基礎工学研究科 情報数理系
-
石原 靖哲
大阪大学 大学院基礎工学研究科 情報数理系
-
嵩 忠雄
奈良先端科学技術大学院大学
-
橋本 健二
奈良先端科学技術大学院大学情報科学研究科
-
石井 信
奈良先端科学技術大学院大学
-
森本 卓爾
大阪大学大学院情報科学研究科
-
吉田 昌起
大阪大学大学院情報科学研究科
-
横内 淳史
奈良先端科学技術大学院大学情報科学研究科
-
森 健吾
大阪大学大学院基礎工学研究科情報数理系
-
嵩 忠雄
大阪大学基礎工学部
-
大野 敦司
大阪大学大学院情報科学研究科
-
大崎 敦司
大阪大学基礎工学部情報工学科
-
百々 浩樹
奈良先端科学技術大学院大学情報科学研究科
-
清川 清
大阪大学大学院情報科学研究科
-
清川 清
大阪大学サイバーメディアセンター
-
吉田 真紀
大阪大学大学院情報科学研究科
-
角川 裕次
大阪大学大学院情報科学研究科
-
山中 広明
大阪大学大学院情報科学研究科
-
角川 裕次
広島大学工学研究科
-
片岡 充照
神戸大学工学研究科
-
片岡 充照
松下電器産業(株)パナソニックAVCネットワークス社
-
森山 甲一
大阪大学産業科学研究所
-
大下 福仁
大阪大学大学院情報科学研究科
-
角川 裕次
広島大学工学部
-
下條 真司
情報通信研究機構
-
二宮 喜一郎
ダイキン工業
-
村田 佳洋
奈良先端科学技術大学院大学
-
加藤 精一
兵庫医療大学
-
工藤 朋之
大阪大学基礎工学部
-
八木 勲
奈良先端科学技術大学院大学
-
奥井 順
松下電器産業株式会社中央研究所
-
畠中 理英
大阪大学大学院情報科学研究科
-
石元 豪
大阪大学大学院基礎工学研究科情報数理系
-
中川 剛
大阪大学大学院基礎工学研究科情報数理系
-
権 娟大
奈良先端科学技術大学院大学情報科学研究科
-
清水 將吾
産業技術大学院大学
-
岡村 真吾
奈良工業高等専門学校情報工学科
-
秋山 豊和
京都産業大学コンピュータ理工学部
-
奥井 順
松下電器産業 中研
-
奥井 順
松下電器産業株式会社研究本部中央研究所
-
栗原 聡
大阪大学大学院情報科学研究科
-
下条 真司
大阪大 サイバーメディアセ
-
秋山 豊和
京都産業大学 コンピュータ理工学部
-
大崎 敦司
大阪大学 基礎工学部 情報工学科
-
関 浩之
大阪大学 基礎工学部 情報工学科
-
八木 鉄也
大阪大学基礎工学部情報工学科
-
島袋 潤
日立製作所
-
村上 哲也
奈良先端科学技術大学院大学情報科学研究科
-
下篠 真司
大阪大学大型計算機センター
-
角川 裕次
大阪大学情報科学研究科
-
岡田 雅司
大阪大学大学院情報科学研究科
-
大下 福仁
大阪大学大学院基礎工学研究科情報数理系
-
中西 隆一
和歌山大学システム工学部
-
中西 隆一
奈良先端科学技術大学院大学情報科学研究科
-
二宮 喜一郎
ダイキン工業株式会社電子技術研究所
-
高原 大介
奈良先端科学技術大学院大学情報科学研究科
-
山田 豊
ダイキン工業株式会社電子技術研究所
-
尾本 林貞
ダイキン工業株式会社電子技術研究所
-
片岡 充照
パナソニック(株)AVCネットワークス社
-
財部 倫孝
奈良先端科学技術大学院大学 情報科学研究科
-
島袋 潤
(株)日立製作所 システム開発研究所
-
下條 真司
大阪大 サイバーメディアセ
-
岡村 真吾
奈良工業高等専門学校
-
大下 福仁
阪大
-
角川 裕次
阪大
-
下條 真司
情報通信研究機構:大阪大学サイバーメディアセンター
-
繁田 浩功
大阪大学大学院情報科学研究科
-
坂口 和明
奈良先端科学技術大学院大学 情報科学研究科
-
藤原 融
大阪大学 大学院基礎工学研究科情報数理系専攻
-
秋山 豊和
京都産業大学
-
細田 一史
大阪大学大学院情報科学研究科
-
森山 甲一
大阪大学大学院情報科学研究科
-
泉野 博明
奈良先端科学技術大学院大学 情報科学研究科
-
澤田 龍太
大阪大学大学院情報科学研究科
-
大下 福仁
大阪大学 大学院情報科学研究科 コンピュータサイエンス専攻
-
吉田 真紀
大阪大学大学院基礎工学研究科情報数理系
-
清川 清
大阪大学大学院情報科学研究科|大阪大学サイバーメディアセンター
-
橋本 健二
奈良先端科学技術大学院大学 情報科学研究科
著作論文
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(夏のデータベースワークショップ2007(データ工学,一般))
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質(基礎理論,フォーマルアプローチ論文)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML,夏のデータベースワークショップDBWS 2006)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML)
- 代数的仕様からのドュメント自動生成について
- 抽象的順序機械型代数的仕様からのドキュメント生成システム
- 抽象的順序機械型代数的仕様からのドキュメント生成システムの試作
- XMLデータベースへの推論攻撃による機密情報特定可能性の形式化とある前提条件のもとでの特定可能性検証法の提案
- XMLデータベースにおける表現能力を保存したスキーマ更新操作
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- XMLデータのスキーマ統合のための枠組の提案
- 異なる構造を持つXMLデータを統合するための構造間の関係について(実空間とサイバースペースの融合 : 感性, データベース, ロボティクスおよび一般)
- 関連性の高いアイテム集合のマイニングに要する計算量
- 検索および再帰なし無閉路スキーマに対する型検査問題の計算量
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- 評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上
- The validity problem of positive XPath queries in the presence of DTDs (ソフトウェアサイエンス)
- 自然語仕様から代数的仕様への変換における表現式の構文規則の生成
- メソッドスキーマにおける型整合性の解析アルゴリズム
- メソッドスキーマの型整合性の十分条件
- 自然語仕様から代数的仕様への変換における辞書項目生成の支援
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- XMLスキーマで定義された型とXPath式との対応の解析手法
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- XMLスキーマで定義された型と XPath 式との対応の解析手法
- 抽象的順序機械型代数的仕様からのドキュメント生成システム
- 空調機用マイコンソフトの形式的仕様記述と検証法について
- データマイニングに要する計算量に関する一考察
- タプル間の依存関係を表現できる確率的データベースモデルの提案
- 無閉路オブジェクト指向データベーススキーマにおける型検査問題の計算量
- オブジェクト指向データベースにおける型検査問題の計算量
- オブジェクト指向データベースにおける型検査問題の計算量
- マルチエージェント環境における時刻の前後関係に関する推論問題
- DTD存在下での否定を含まないXPathクエリの恒真性判定
- オブジェクト指向データベースにおけるインスタンスの内容に依存したアクセス権モデルの設計 (時空間データベースおよび一般)
- オブジェクト指向データベーススキーマにおけるセキュリティフロー検出の形式的手法
- オブジェクト指向データベースにおけるデータ漏洩検出問題に関する考察
- オブジェクト指向データベースにおけるアクセス権モデルの設計
- 仕事に対するエージェント集合割り当て問題の近似アルゴリズム
- 2本の時間軸間の時間的推論
- 仕事に対するエージェント集合割り当て問題の近似アルゴリズム
- オブジェクト指向データベースにおける質問のアクセス権分析
- Type Consistency Problems for Queries in Object-Oriented Databases
- オーエンス・ルイス : アンビエント環境制御を用いた知的オフィスチェアの提案(アンビエントインテリジェンス技術とその応用)
- オブジェクト指向データベースにおける質問の型検査問題
- オブジェクト指向データベースプログラムにおける型検査のアクセス制御への応用
- Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes (ソフトウェアサイエンス)
- 決定性線形トップダウン木変換器における問合せ保存の決定可能性 (ソフトウェアサイエンス)
- 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合
- 決定性線形トップダウン木変換器における問合せ保存の決定可能性