HOSONO Chiharu 細野千春

Researcher Number	20108294
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2008 – 2010: 筑波大学, 大学院・システム情報工学研究科, 准教授 2004 – 2005: 筑波大学, 大学院・システム情報工学研究科, 助教授 2003: 筑波大学, 電子・情報工学系, 助教授 1997 – 2000: 筑波大学, 電子・情報工学系, 助教授 1998: 筑波大学,電子, 情報工学系, 助教授 1993 – 1994: 筑波大学, 電子・情報工学系, 助教授 1990 – 1992: 筑波大学, 電子・情報工学系, 講師
Review Section/Research Field	Except Principal Investigator 計算機科学 / Science education / 情報工学 / General mathematics (including Probability theory/Statistical mathematics) / Educational technology
Keywords	Except Principal Investigator 音楽情報処理 / SOFA / Tense Arithmetic / NU / 人工知能 / music information processing / 実時間システムの検証 / エンヴェロープ理論 / Verification of realtime controlled systems / Envelope theory … More

Valuation on Spatial Cognition using a Programming Language
- Principal Investigator
  
  YAMAMOTO Nobuhito
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Science education
- Research Institution
  University of Tsukuba
Studies on Abstract Concept Acquisition in Programming Languages for Hearing Impaired
- Principal Investigator
  
  YAMAMOTO Nobuhito
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Educational technology
- Research Institution
  University of Tsukuba
A Study on Program Verification Systems based on Analytic Semantics
- Principal Investigator
  
  MIZUTANI Tetauya
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  UNIVERSITY OF TSUKUBA
LOGICAL PROGRAM AND ITS MATHEMATICAL FOUNDATION
- Principal Investigator
  
  IGARASHI Shigeru
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
Co-operative research on theoretical foundations of computer programs
- Principal Investigator
  
  TSUJI Takashi
- Project Period (FY)
  1993 – 1995
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
  University of Tsukuba
Theory and implementation of predicate-logical programs
- Principal Investigator
  
  IGARASHI Shigeru
- Project Period (FY)
  1990 – 1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  情報工学
- Research Institution
  University of Tsukuba

All 2005

All Journal Article

[Journal Article] The Relative Completeness of a Version of CTL^*2005
- Author(s)
  Hidetomo Machi, Kohji Tomita, Chiharu Hosono
- Journal Title
  
  Proc. The Australian Theory Symposium 41
  
  Pages: 5-5
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500609
[Journal Article] The Relative Completeness of a Version of CTL^*2005
- Author(s)
  Hidetomo Machi, Kohji Tomita, Chiharu Hosono
- Journal Title
  
  Proc.The Australian Theory Symposium 41
  
  Pages: 5-5
- Data Source
  KAKENHI-PROJECT-15500609
[Journal Article] The Relative Completeness of a Version of CTL^*2005
- Author(s)
  Hidetomo Machi, Kohji Tomita, Chiharu Hosono
- Journal Title
  
  Proc.The Australian Theory Symposium Vol.41
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500609

1. MIZUTANI Tetsuya (70209758)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
2. IGARASHI Shigeru (80027367)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
3. YAMAMOTO Nobuhito (30111090)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. NISHIOKA Tomoyuki (70310191)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. TSUJI Takashi (70016666)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. SHIO Masayuki (60302395)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. TOMITA Kohji (80357574)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. SHIROMA Syoko (30457379)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. OHKI Atsuo (20160434)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. NISHIMURA Hirokazu (70135614)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. HITOTUMATU Shin (10027378)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. NANBA Kanji (40015524)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. YONEDA Nobuo (50080487)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. SAKAI Ko (20241797)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. IKEDA Yasuwo (10279599)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 徳村朝昭

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

HOSONO Chiharu 細野 千春

Research Projects

Research Products

Co-Researchers

Valuation on Spatial Cognition using a Programming Language

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on Abstract Concept Acquisition in Programming Languages for Hearing Impaired

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Program Verification Systems based on Analytic Semantics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

LOGICAL PROGRAM AND ITS MATHEMATICAL FOUNDATION

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Co-operative research on theoretical foundations of computer programs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Theory and implementation of predicate-logical programs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] The Relative Completeness of a Version of CTL^*2005

Author(s)

Journal Title

Description

Data Source

[Journal Article] The Relative Completeness of a Version of CTL^*2005

Author(s)

Journal Title

Data Source

[Journal Article] The Relative Completeness of a Version of CTL^*2005

Author(s)

Journal Title

Description

Data Source

HOSONO Chiharu 細野千春