片山卓也 KATAYAMA Takuya

研究者番号	70016468
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2008年度: 北陸先端科学技術大学院大学, 情報科学研究科, 学長 1996年度 – 2005年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1992年度 – 1993年度: 北陸先端科学技術大学院大学, 教授 1991年度 – 1992年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1987年度 – 1991年度: 東京工業大学, 工学部, 教授 1986年度: 東京工大, 工学部, 教授
審査区分/研究分野	研究代表者計算機科学 / 情報学研究代表者以外理工系 / ソフトウエア / 情報工学 / 知能情報学
キーワード	研究代表者ソフトウェアデ-タベ-ス / Software Process / ソフトウェアプロセス / オブジェクト / 属性文法 / オブジェクトベース / オブジェクト指向 / オブジェクトベ-ス / Object-Oriented Programming / Hierarchical and Functional Programming … もっと見る / Software Development / Attribute Grammar / 大域的領域割当て / ソフトウェア自動生成 / オブジェクト管理 / ソフトウェア仕様記述 / 記憶領域割当 / 自動生成 / プロセスモデル / プログラミング環境 / ソフトウェア環境 / 関数型言語 / 仕様記述 / concurrent object / thread / concurrent regular expression / theorem proving system / formal method / analysis model / embedded system / object-oriented method / 実時間OS / 形式的オブジェクト指向方法論 / 定理証明 / 組み込みシステム / 並行オブジェクト / スレッド / 並行正規表現 / 定理証明システム / 形式的方法論 / 分析モデル / 組込みシステム / オブジェクト指向方法論 / adaptive reconstruction / environment for evolution / methodologies for evolution / mechanisms of evolution / principles for evolution / ソフトウエア構築再構成方法論 / ソフトウェア構築再構成方法論 / 発展的ソフトウェア検証証明法 / ソフトウェア適応的再構成 / ソフトウェア方式 / ソフトウェア発展方法論 / ソフトウェア発展基本機構 / ソフトウェア発展構成原理 / Software Process Dynamics / Software Process Environment / Software Process Enaction / Software Database / Process Programming / ソフトウェアプロセスダイナミックス / ソフトウェアプロセス環境 / ソフトウェアプロセスの実働化 / プロセスプログラミング / ソフトウェア構築方法論 / ソフトウェア進化 / ソフトウェア発展 / 制約 / ハイパーテキスト / クラスライブラリ / プログラムベース / ソフトウェアデータベース / 関係デ-タベ-ス / ソフトウェア開発 / 並列オブジェクト指向 / プログラムベ-ス / 属性文脇 / ソフトウェアオブジェクトベ-ス … もっと見る研究代表者以外ソフトウェア工学 / ソフトウェア構成プロセス / 分散開発環境 / 発想機構 / プログラム開発環境 / ユ-ザ-インタ-フェ-ス / programming environment / sofrware development method / database / programming language / component / ソフトウエア学 / 計算機システム / ソフトウエア工学 / プログラム環境 / ソフトウエア構築技術 / データベース / プログラミング言語 / コンポーネント / Cyber security / Safe mail systems / impersonalization / viruses / Safe operating systems / Safe programming languages / protocol verification / Program / Software security / 総括班会議 / 研究の推進 / ソフトウエアインフラストラクチャ / プログラミング言語設計 / ソフトウエアの検証 / 安全なソフトウエア / セキュアコンピューティング / 社会基盤システム / 内部評価 / メールシステム / ソフトウェア実行機構 / ソフトウェア記述系 / 形式的検証法 / ソフト技術 / メモリ安全 / ソース解析・型理論 / オペレーティングシステム / プログラム言語処理系 / プログラム検証 / 安全な情報基盤 / ソフトウェアセキュリティ / サイバーセキュリティ / 安全なメールシステム / 成りすまし / ウィルス / 安全なオペレーティング / 安全なプログラミング言語 / プログラミング・プロトコル検証 / ソフトウェアセキュリテイ / method engineering / software pipelining / distributed software development / step-wise refinement / fine-grained repository / 構造的発展 / 漸増的ソフトウェア設計 / 波及解析 / プログラム・パターン / 構造的仕様化技法 / ソフトウェア発展 / メソッドエンジニアリング / ソフトウェアパイプライニング / 分散ソフトウェア開発 / 段階的詳細化 / 細粒度リポジトリ / オブジェクト指向 / プログラム言語 / ソフトウェア / パラダイム / 書き換え / オントロジー / 構造的書き換え / 整合性 / 国民年金法 / 論理表現 / 法令構造 / 言語解析 / 法令文書 / 法令工学 / 計算機支援環境 / 検証 / 形式的手法 / オブジェクト指向分析 / ユーザーインターフェース / ソストウェア工学隠す

法令文書の言語解析法の研究-法令工学の研究として-
- 研究代表者
  
  島津明
- 研究期間 (年度)
  2008 – 2011
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  知能情報学
- 研究機関
  北陸先端科学技術大学院大学
言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  東北大学
   北陸先端科学技術大学院大学
現実的な形式的オブジェクト指向分析と計算機支援環境
- 研究代表者
  
  青木利晃
- 研究期間 (年度)
  2002
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  北陸先端科学技術大学院大学
発展機構を備えたソフトウェアの構成原理の研究研究代表者
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  2000
- 研究種目
  
  特定領域研究(A)
- 研究機関
  北陸先端科学技術大学院大学
「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価
- 研究代表者
  
  米澤明憲
- 研究期間 (年度)
  2000 – 2003
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  東京大学
形式的オブジェクト指向方法論に基づく組み込みソフトウェアの構成法の研究研究代表者
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  2000 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  北陸先端科学技術大学院大学
ソフトウェア発展方式の研究
- 研究代表者
  
  阿草清滋
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  重点領域研究
- 研究機関
  名古屋大学
発展機構を備えたソフトウェアの構成原理にかかわる総合研究研究代表者
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  北陸先端科学技術大学院大学
高機能高品質ソフトウェアの構成原理に関する研究総括班
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1993
- 研究種目
  
  重点領域研究
- 研究機関
  東京大学
ソフトウェア構成のためのオブジェクトベースの研究研究代表者
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  1992
- 研究種目
  
  重点領域研究
- 研究機関
  北陸先端科学技術大学院大学
高機能高品質ソフトウェアの構成原理に関する研究総括班
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1991
- 研究種目
  
  重点領域研究
- 研究機関
  東京大学
ソフトウェア構成のためのオブジェクトベ-スの研究研究代表者
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  1991
- 研究種目
  
  重点領域研究
- 研究機関
  北陸先端科学技術大学院大学
高機能高品質ソフトウェアの構成原理に関する研究総括班
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1990
- 研究種目
  
  重点領域研究
- 研究機関
  東京大学
ソフトウェア構成のためのオブジェクトベ-スの研究研究代表者
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  1990
- 研究種目
  
  重点領域研究
- 研究機関
  東京工業大学
プロセスプログラミングとその支援システムの研究研究代表者
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  1990
- 研究種目
  
  国際学術研究
- 研究機関
  東京工業大学
高機能高品質ソフトウェアの構成原理に関する研究
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1989
- 研究種目
  
  総合研究(B)
- 研究機関
  東京大学
新パラダイムによるソフトウェア構成法に関する基礎研究
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1988
- 研究種目
  
  総合研究(B)
- 研究分野
  
  情報工学
- 研究機関
  東京大学
属性文法にもとづくソフトウェア自動生成システム講成法の研究研究代表者
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  1986 – 1988
- 研究種目
  
  一般研究(A)
- 研究分野
  
  情報学
- 研究機関
  東京工業大学

すべて 2008 2005 2004

すべて雑誌論文

[雑誌論文] 電子社会と法令工学2008
- 著者名/発表者名
  片山卓也, 島津明, 東条敏, 二木厚吉, 落水浩一郎
- 雑誌名
  
  人工知能学会誌特集[法情報学最前線] Vol23, No.4
  
  ページ: 529-536
- データソース
  KAKENHI-PROJECT-20300057
[雑誌論文] 電子社会と法令工学2008
- 著者名/発表者名
  片山卓也, 島津明, 東条敏, 二木厚吉, 落水浩一郎
- 雑誌名
  
  人工知能学会誌
  
  巻: Vol.23, No.4 ページ: 529-536
- データソース
  KAKENHI-PROJECT-20300057
[雑誌論文] コラボレーションに基づくオブジェクト指向モデルの検証2005
- 著者名/発表者名
  矢竹健朗, 青木利晃, 片山卓也
- 雑誌名
  
  コンピュータソフトウェア 22・1
  
  ページ: 58-76
- NAID
  110003744165
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] Collaboration-based Verfication of Object-Oriented models in HOL2004
- 著者名/発表者名
  Kenro Yatake, Toshiaki Aoki, Takuya Katayama
- 雑誌名
  
  In Proc.International Workshop on Verification and Validation of Enterprise Information Systems
  
  ページ: 78-80
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] Foundations for Evolutionary Construction of State Transition Models2004
- 著者名/発表者名
  Toshiaki Aoki, Takuya Katayama
- 雑誌名
  
  In Proc.International Workshop on Principles of Software Evolution
  
  ページ: 143-146
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] アクション言語と制約言語を用いて記述されたオブジェクト指向設計モデルの検証法2004
- 著者名/発表者名
  青木利晃, 片山卓也
- 雑誌名
  
  日本ソフトウェア科学会第2回ディペンダブルソフトウェア研究会(DSW2005)
  
  ページ: 61-70
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] Aオブジェクト指向分析モデルにおけるデータフローの形式化と解析手法2004
- 著者名/発表者名
  青木利晃, 片山卓也
- 雑誌名
  
  コンピュータソフトウェア 21・4
  
  ページ: 1-26
- NAID
  130004549018
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300006
[雑誌論文] 並行オブジェクトシステム動作解析のための実行スレッド自動抽出2004
- 著者名/発表者名
  岡崎光隆, 片山卓也
- 雑誌名
  
  日本ソフトウェア科学会第一回ディペンダブルソフトウェアワークショップDSW2004
  
  ページ: 85-94
- データソース
  KAKENHI-PROJECT-15300006

1. 牛島和夫 (40037750)

共同の研究課題数: 7件

共同の研究成果数: 0件
2. 宮本衛市 (00001173)

共同の研究課題数: 7件

共同の研究成果数: 0件
3. 米沢明憲 (00133116)

共同の研究課題数: 5件

共同の研究成果数: 0件
4. 武市正人 (10011165)

共同の研究課題数: 5件

共同の研究成果数: 0件
5. 和田英一 (50010723)

共同の研究課題数: 5件

共同の研究成果数: 0件
6. 徳田雄洋 (30111644)

共同の研究課題数: 4件

共同の研究成果数: 0件
7. 鳥居宏次 (10172222)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 田中克己 (00127375)

共同の研究課題数: 3件

共同の研究成果数: 0件
9. 阿草清滋 (90026360)

共同の研究課題数: 3件

共同の研究成果数: 0件
10. 伊藤貴康 (80124551)

共同の研究課題数: 3件

共同の研究成果数: 0件
11. 土居範久 (50051553)

共同の研究課題数: 3件

共同の研究成果数: 0件
12. 青木利晃 (20313702)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 落水浩一郎 (10022310)

共同の研究課題数: 2件

共同の研究成果数: 0件
14. 佐伯元司 (80162254)

共同の研究課題数: 2件

共同の研究成果数: 0件
15. 米崎直樹 (00126286)

共同の研究課題数: 2件

共同の研究成果数: 0件
16. 島津明 (60293388)

共同の研究課題数: 1件

共同の研究成果数: 2件
17. 東条敏 (90272989)

共同の研究課題数: 1件

共同の研究成果数: 2件
18. 白井清昭 (30302970)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. グエンミンレ (30509401)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 中村誠 (50377438)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 中田育男 (70133022)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 安西祐一郎 (40051875)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 溝口文雄 (50084463)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. ADEL Cherif (10303322)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 大堀淳 (60252532)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 小川瑞史 (40362024)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 権藤克彦 (50262283)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 田島敬史 (60283876)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 渡辺治 (80158617)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 鯵坂恒夫 (30175864)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 稲垣康善 (10023079)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 田中英彦 (60011102)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 伊藤恵 (30303324)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. DENNIS Heimb

共同の研究課題数: 1件

共同の研究成果数: 0件
35. LORI Clarke

共同の研究課題数: 1件

共同の研究成果数: 0件
36. RICHARD Tayl

共同の研究課題数: 1件

共同の研究成果数: 0件
37. LEON Osterwe

共同の研究課題数: 1件

共同の研究成果数: 0件
38. HEIMBIGNER Dennis

共同の研究課題数: 1件

共同の研究成果数: 0件
39. CLARKE Lori

共同の研究課題数: 1件

共同の研究成果数: 0件
40. TAYLOR Richard

共同の研究課題数: 1件

共同の研究成果数: 0件
41. OSTERWEIL Leon

共同の研究課題数: 1件

共同の研究成果数: 0件

片山 卓也 KATAYAMA Takuya

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

発展機構を備えたソフトウェアの構成原理の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

形式的オブジェクト指向方法論に基づく組み込みソフトウェアの構成法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

発展機構を備えたソフトウェアの構成原理にかかわる総合研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

ソフトウェア構成のためのオブジェクトベースの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

ソフトウェア構成のためのオブジェクトベ-スの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

ソフトウェア構成のためのオブジェクトベ-スの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

プロセスプログラミングとその支援システムの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

片山卓也 KATAYAMA Takuya