Kinoshita Yoshiki 木下佳樹

… Alternative Names

木下佳樹キノシタヨシキ

Less

Researcher Number	60356889
Affiliation (Current)	2025: 神奈川大学, 情報学部, 教授
Affiliation (based on the past Project Information) *help	2008 – 2009: (独)産業技術総合研究所, システム検証研究センター, センター長
Review Section/Research Field	Except Principal Investigator Software
Keywords	Except Principal Investigator 延焼 / 抽象化 / 安全性検証 / 状態遷移系 / モデル化 / システム検証 / 多値モデル検査

多値モデル検査法を用いたモデリング・エラーの発見
- Principal Investigator
  
  亀山幸義
- Project Period (FY)
  2008 – 2009
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  University of Tsukuba

All 2009 2008

All Journal Article Presentation

[Journal Article] Agate-an Agda-to-Haskell compiler2009
- Author(s)
  尾崎弘幸、武山誠、木下佳樹
- Journal Title
  
  コンピュータソフトウェア 26-4
  
  Pages: 107-119
- NAID
  130004549149
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] An Algebraic Semantics of Predicate Abstraction for PML2009
- Author(s)
  Y. Kinoshita, K. Nishizawa
- Journal Title
  
  コンピュータソフトウェア (掲載決定)
- NAID
  130004892130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] A simple type-theoretic language : Mini-TT2009
- Author(s)
  T.Coquand, 木下佳樹, B.Nordstrom, M.Takeyama
- Journal Title
  
  From Semantics to Computer Science, Cambridge University Press
  
  Pages: 139-164
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] Formalization of System LSI Specification and Automatic Generation of Verification Items2008
- Author(s)
  Y. Kinoshita et al.
- Journal Title
  
  TESTCOM/FATES2008, Supplementary Proceedings
  
  Pages: 75-76
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] 書類の定式化と検証2008
- Author(s)
  木下佳樹
- Journal Title
  
  第6回ディペンダブルシステムワークショップ論文集
  
  Pages: 57-59
- Data Source
  KAKENHI-PROJECT-20650003
[Journal Article] フォーマルメソッドのフィールドワーク2008
- Author(s)
  木下佳樹、高井利憲、大崎人士
- Journal Title
  
  情報処理 49巻5号
  
  Pages: 499-505
- Data Source
  KAKENHI-PROJECT-20650003
[Presentation] Agda言語について2008
- Author(s)
  木下佳樹
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学
- Year and Date
  2008-09-12
- Data Source
  KAKENHI-PROJECT-20650003

1. 亀山幸義 (10195000)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 西澤弘樹 (60455433)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 西澤弘毅

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Kinoshita Yoshiki 木下 佳樹

木下 佳樹 キノシタ ヨシキ

Research Projects

Research Products

Co-Researchers

多値モデル検査法を用いたモデリング・エラーの発見

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Agate-an Agda-to-Haskell compiler2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] An Algebraic Semantics of Predicate Abstraction for PML2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] A simple type-theoretic language : Mini-TT2009

Author(s)

Journal Title

Data Source

[Journal Article] Formalization of System LSI Specification and Automatic Generation of Verification Items2008

Author(s)

Journal Title

Data Source

[Journal Article] 書類の定式化と検証2008

Author(s)

Journal Title

Data Source

[Journal Article] フォーマルメソッドのフィールドワーク2008

Author(s)

Journal Title

Data Source

[Presentation] Agda言語について2008

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

Kinoshita Yoshiki 木下佳樹

木下佳樹キノシタヨシキ