KATAYAMA Takuya 片山卓也

Researcher Number	70016468
External Links
Affiliation (based on the past Project Information) *help	2008: 北陸先端科学技術大学院大学, 情報科学研究科, 学長 1996 – 2005: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1992 – 1993: 北陸先端科学技術大学院大学, 教授 1991 – 1992: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1987 – 1991: 東京工業大学, 工学部, 教授 1986: 東京工大, 工学部, 教授
Review Section/Research Field	Principal Investigator 計算機科学 / Informatics Except Principal Investigator Science and Engineering / Software / 計算機工学 / Intelligent informatics
Keywords	Principal Investigator ソフトウェアデ-タベ-ス / Software Process / ソフトウェアプロセス / オブジェクト / 属性文法 / オブジェクトベース / オブジェクト指向 / オブジェクトベ-ス / Object-Oriented Programming / Hierarchical and Functional Programming … More / 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 / ソフトウェアプロセスダイナミックス / ソフトウェアプロセス環境 / ソフトウェアプロセスの実働化 / プロセスプログラミング / ソフトウェア構築方法論 / ソフトウェア進化 / ソフトウェア発展 / 制約 / ハイパーテキスト / クラスライブラリ / プログラムベース / ソフトウェアデータベース / 関係デ-タベ-ス / ソフトウェア開発 / 並列オブジェクト指向 / プログラムベ-ス / 属性文脇 / ソフトウェアオブジェクトベ-ス … More Except Principal Investigator ソフトウェア工学 / ソフトウェア構成プロセス / 分散開発環境 / 発想機構 / プログラム開発環境 / ユ-ザ-インタ-フェ-ス / 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 / 構造的発展 / 漸増的ソフトウェア設計 / 波及解析 / プログラム・パターン / 構造的仕様化技法 / ソフトウェア発展 / メソッドエンジニアリング / ソフトウェアパイプライニング / 分散ソフトウェア開発 / 段階的詳細化 / 細粒度リポジトリ / オブジェクト指向 / プログラム言語 / ソフトウェア / パラダイム / 書き換え / オントロジー / 構造的書き換え / 整合性 / 国民年金法 / 論理表現 / 法令構造 / 言語解析 / 法令文書 / 法令工学 / 計算機支援環境 / 検証 / 形式的手法 / オブジェクト指向分析 / ユーザーインターフェース / ソストウェア工学 Less

Methods for analyzing law texts-Study on Legal Engineering-
- Principal Investigator
  
  SHIMAZU Akira
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
A Framework for Integrating Programming Languages, Repository and Development Environment
- Principal Investigator
  
  OHORI Atsushi
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
  Japan Advanced Institute of Science and Technology
現実的な形式的オブジェクト指向分析と計算機支援環境
- Principal Investigator
  
  AOKI Toshiaki
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Japan Advanced Institute of Science and Technology
Principles for Constructing Evolutionary SoftwarePrincipal Investigator
- Principal Investigator
  
  KATAYAMA Takuya
- Project Period (FY)
  2000
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Japan Advanced Institute of Science and Technology
Secure Programming Languages Based on Mobile Code
- Principal Investigator
  
  YONEZAWA Akinori
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
Research on construction of embedded software using formal object-oriented methodsPrincipal Investigator
- Principal Investigator
  
  KATAYAMA Takuya
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
Research on Mechanism and Methodology for Software Evolution
- Principal Investigator
  
  AGUSA Kiyoshi
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nagoya University
発展機構を備えたソフトウェアの構成原理にかかわる総合研究Principal Investigator
- Principal Investigator
  
  片山卓也
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
高機能高品質ソフトウェアの構成原理に関する研究総括班
- Principal Investigator
  
  和田英一
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  The University of Tokyo
ソフトウェア構成のためのオブジェクトベースの研究Principal Investigator
- Principal Investigator
  
  片山卓也
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Japan Advanced Institute of Science and Technology
高機能高品質ソフトウェアの構成原理に関する研究総括班
- Principal Investigator
  
  和田英一
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  The University of Tokyo
ソフトウェア構成のためのオブジェクトベ-スの研究Principal Investigator
- Principal Investigator
  
  片山卓也
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Japan Advanced Institute of Science and Technology
高機能高品質ソフトウェアの構成原理に関する研究総括班
- Principal Investigator
  
  和田英一
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  The University of Tokyo
ソフトウェア構成のためのオブジェクトベ-スの研究Principal Investigator
- Principal Investigator
  
  片山卓也
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tokyo Institute of Technology
Research on Process Programming and its EnvironmentPrincipal Investigator
- Principal Investigator
  
  KATAYAMA Takuya
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for international Scientific Research
- Research Institution
  Tokyo Institute of Technology
高機能高品質ソフトウェアの構成原理に関する研究
- Principal Investigator
  
  和田英一
- Project Period (FY)
  1989
- Research Category
  
  Grant-in-Aid for Co-operative Research (B)
- Research Institution
  The University of Tokyo
新パラダイムによるソフトウェア構成法に関する基礎研究
- Principal Investigator
  
  和田英一
- Project Period (FY)
  1988
- Research Category
  
  Grant-in-Aid for Co-operative Research (B)
- Research Field
  
  計算機工学
- Research Institution
  The University of Tokyo
Study on the Construction of Software Development Environment based on the Attribute Grammar FormalismsPrincipal Investigator
- Principal Investigator
  
  KATAYAMA Takuya
- Project Period (FY)
  1986 – 1988
- Research Category
  
  Grant-in-Aid for General Scientific Research (A)
- Research Field
  
  Informatics
- Research Institution
  Tokyo Institute of Technology

All 2008 2005 2004

All Journal Article

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

1. USHIJIMA Kazuo (40037750)

# of Collaborated Projects: 7 results

# of Collaborated Products: 0 results
2. MIYAMOTO Eiichi (00001173)

# of Collaborated Projects: 7 results

# of Collaborated Products: 0 results
3. YONEZAWA Akinori (00133116)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
4. TAKEICHI Masato (10011165)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
5. 和田英一 (50010723)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
6. TOKUDA Takehiro (30111644)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
7. TORII Koji (10172222)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. 田中克己 (00127375)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. AGUSA Kiyoshi (90026360)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
10. ITO Takayasu (80124551)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. 土居範久 (50051553)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
12. AOKI Toshiaki (20313702)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. OCHIMIZU Koichiro (10022310)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. SAEKI Motoshi (80162254)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. YONEZAKI Naoki (00126286)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
16. SHIMAZU Akira (60293388)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
17. TOJO Satoshi (90272989)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
18. SHIRAI Kiyoaki (30302970)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. NGUYEN Minhle (30509401)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. NAKAMURA Makoto (50377438)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. NAKATA Ikuo (70133022)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. ANZAI Yuichiro (40051875)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. MIZOGUCHI Fumio (50084463)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. CHERIF Adel (10303322)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. OHORI Atsushi (60252532)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. OGAWA Mizuhito (40362024)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. GONDOW Katsuhiko (50262283)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. TAJIMA Keishi (60283876)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. WATANABE Osamu (80158617)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 鯵坂恒夫 (30175864)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 稲垣康善 (10023079)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 田中英彦 (60011102)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 伊藤恵 (30303324)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. DENNIS Heimb

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. LORI Clarke

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. RICHARD Tayl

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. LEON Osterwe

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. HEIMBIGNER Dennis

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. CLARKE Lori

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. TAYLOR Richard

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. OSTERWEIL Leon

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KATAYAMA Takuya 片山 卓也

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principles for Constructing Evolutionary SoftwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on construction of embedded software using formal object-oriented methodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Research on Process Programming and its EnvironmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Principal Investigator

Project Period (FY)

Research Category

KATAYAMA Takuya 片山卓也