塩雅之 Shio Masayuki

ORCID

ORCID連携する *注記

研究者番号	60302395
その他のID
外部サイト
所属 (現在)	2020年度: 常磐大学, 総合政策学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2000年度: 常磐大学, コミュニティ振興学部, 専任講師 2000年度: 常磐大学, コミュニティ振興学部, 講師 1998年度 – 1999年度: 筑波大学, 電子・情報工学系, 助手 1998年度: 筑波大学,電子, 情報工学系, 助手
審査区分/研究分野	研究代表者計算機科学研究代表者以外計算機科学
キーワード	研究代表者プログラム理論 / プログラム検証 / 実時間制御問題 / 実時間システムの検証 / エンヴェロープ理論 / SOFA / 音楽情報処理 / Tense Arithmetic 研究代表者以外 SOFA / Tense Arithmetic … もっと見る

研究課題
(3件)
共同研究者
(6人)

エンヴェロープ理論に基づく実時間制御系の検証の研究研究代表者
- 研究代表者
  
  塩雅之
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  常磐大学
   筑波大学
解析的意味論に基づく実時間プログラムシステムの検証の研究
- 研究代表者
  
  水谷哲也
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
論理的プログラム及びその基礎数理
- 研究代表者
  
  五十嵐滋
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学

1. 五十嵐滋 (80027367)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 水谷哲也 (70209758)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 細野千春 (20108294)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 富田康治 (80357574)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 坂井公 (20241797)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 池田靖雄 (10279599)

共同の研究課題数: 1件

共同の研究成果数: 0件