• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

HOSONO Chiharu  細野 千春

ORCIDConnect your ORCID iD *help
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
計算機科学 / Educational technology / General mathematics (including Probability theory/Statistical mathematics) / 情報工学 / Science education
Keywords
Except Principal Investigator
Tense Arithmetic / SOFA / 音楽情報処理 / NU / Hyperlogo / Music information processing / Envelope theory / Verification of realtime controlled systems / エンヴェロープ理論 / 実時間システムの検証 … More / music information processing / 人工知能 / modeling ability / language level / Information Offering / Programming education / Hearing Impaired Student / タートル・グラフィックス / グラフィカル・インターフェース / モデル化能力 / 言語レベル / 情報提示 / プログラミング教育 / 聴覚障害学生 / tense Arithemetic / 定時間システムの検証 / エンヴェローブ理論 / Daphne / artificial inteligence / graph theory / programming / theory of programs / logic / プログラム検証 / 時制算術 / ν-転換 / 解析的意味論 / CMP / オブジェクト指向 / PSYCHE / envelope system / artificial intelligence / equivalence theory / incomplete information game / programming language NU / nu-conversion / 軌跡準同型 / 不完全情報ゲ-ム / Uー転換 / V-転換 / 同値理論 / 不完全情報ゲーム / レー転換 / 実験心理学 / 空間認知 / 聴覚障害者 / 実験系心理学 / プログラミング言語 Less
  • Research Projects

    (6 results)
  • Research Products

    (3 results)
  • Co-Researchers

    (17 People)
  •  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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi