プラズマ・ディスプレイを用いた教育用ミニコンピュータのコンソールの作製
プラズマ・ディスプレイを用いた教育用ミニコンピュータのコンソールの作製
批准号:
X00095----265106
负责人:
谷口 健一
金额:
$0.3万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for General Scientific Research (D)
财政年份:
1977
资助国家:
日本
项目状态:
已结题
起止时间:
1977 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
マルチランデブを含むLOTOSプログラムの分散実行系の構築
-
批准号:08680366
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.09万
-
财政年份:1996
-
负责人:谷口 健一
-
依托单位:
複数の制御部をもつ同期式順序回路の機能検証に関する研究
-
批准号:07680356
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1995
-
负责人:谷口 健一
-
依托单位:
ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系
-
批准号:06680320
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$0.9万
-
财政年份:1994
-
负责人:谷口 健一
-
依托单位:
代数的手法を用いたプログラムの階層的設計と開発環境に関する研究
-
批准号:05680273
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.15万
-
财政年份:1993
-
负责人:谷口 健一
-
依托单位:
ハ-ドウェアの仕様記述とマイクロプログラムを用いた実現への段階的詳細化及び検証
-
批准号:02650266
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.15万
-
财政年份:1990
-
负责人:谷口 健一
-
依托单位:
代数的手法によるプログラムの正しさ証明システムの作成に関する研究
-
批准号:01550286
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.22万
-
财政年份:1989
-
负责人:谷口 健一
-
依托单位:
代数的手法を用いたハードウェアの仕様記述と実現に関する研究
-
批准号:63550275
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.09万
-
财政年份:1988
-
负责人:谷口 健一
-
依托单位:
関数的プログラミング言語のマイクロプログラムによる直接実行に関する研究
-
批准号:X00095----565126
-
项目类别:Grant-in-Aid for General Scientific Research (D)
-
资助金额:$0.22万
-
财政年份:1980
-
负责人:谷口 健一
-
依托单位:
シンタックス・アナライザの構成とその簡単化に関する研究
-
批准号:X00210----775164
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.15万
-
财政年份:1972
-
负责人:谷口 健一
-
依托单位: