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

Shio Masayuki  塩 雅之

ORCIDConnect your ORCID iD *help
… Alternative Names

SHIO Masayuki  塩 雅之

Less
Researcher Number 60302395
Other IDs
External Links
Affiliation (Current) 2025: 常磐大学, 総合政策学部, 教授
Affiliation (based on the past Project Information) *help 2000: 常磐大学, コミュニティ振興学部, 専任講師
2000: Assistant Professor Col.Comm.Dept., Tokiwa Univ., コミュニティ振興学部, 講師
1998 – 1999: 筑波大学, 電子・情報工学系, 助手
1998: 筑波大学,電子, 情報工学系, 助手
Review Section/Research Field
Principal Investigator
計算機科学
Except Principal Investigator
計算機科学
Keywords
Principal Investigator
Tense Arithmetic / 音楽情報処理 / SOFA / エンヴェロープ理論 / 実時間システムの検証 / 実時間制御問題 / プログラム検証 / プログラム理論
Except Principal Investigator
Tense Arithmetic / SOFA … More / Music information processing / Envelope theory / Verification of realtime controlled systems / 音楽情報処理 / エンヴェロープ理論 / 実時間システムの検証 / tense Arithemetic / 定時間システムの検証 / エンヴェローブ理論 / Daphne Less
  • Research Projects

    (3 results)
  • Co-Researchers

    (6 People)
  •  エンヴェロープ理論に基づく実時間制御系の検証の研究Principal Investigator

    • Principal Investigator
      塩 雅之
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Tokiwa University
      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
  • 1.  IGARASHI Shigeru (80027367)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  MIZUTANI Tetsuya (70209758)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  HOSONO Chiharu (20108294)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  TOMITA Kohji (80357574)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  SAKAI Ko (20241797)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  IKEDA Yasuwo (10279599)
    # 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