• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

謝 章文

ORCIDORCID連携する *注記
研究者番号 20065866
所属 (過去の研究課題情報に基づく) *注記 1987年度: 京都産業大学, 計算機科学研究所, 助教授
審査区分/研究分野
研究代表者以外
数学一般
キーワード
研究代表者以外
グラフの結合度と可約辺 / ペアノ算術系 / 類推の理論 / V-論理 / 計算幾何学 / 定理の自動証明 / プログラムの自動合成 / Modula-2 / 関数型言語の処理機構 / トポス … もっと見る / 圏論と計算機科学 / PSYCHE / 音釆処理系 / 関係演算 / Smalltalk80 / LPS / プログラム合成系 / Wnn / 日本語入力 / GMW / ウィンドウシステム / ソリッドモデラ / CSP / Vー理論 / 可約辺 / 3ー連結グラフ / 符号理論 / 圏論と計算理論 隠す
  • 研究課題

    (1件)
  • 共同研究者

    (7人)
  •  離散的計算機数学の総合的研究

    • 研究代表者
      米田 信夫
    • 研究期間 (年度)
      1985 – 1987
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      東京大学
  • 1.  米田 信夫 (50080487)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 2.  難波 完爾 (40015524)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  五十嵐 滋 (80027367)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  伊理 正夫 (40010722)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  榎本 彦衛 (00011669)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  野崎 昭弘 (90012343)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  廣瀬 健 (60063632)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi