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

Ghourabi Fadoua  ゴーラビ ファドワ

ORCIDORCID連携する *注記
研究者番号 30709324
その他のID
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2022年度: お茶の水女子大学, 理学部, 学部教育研究協力員
審査区分/研究分野
研究代表者以外
情報学基礎理論
キーワード
研究代表者以外
立体モデル化 / 幾何定理自動証明 / 計算幾何 / 計算理論 / 記号代数 / 幾何定理証明 / 折紙 / 折紙の形式化 / 立体折紙 / 折紙定理証明 … もっと見る / 幾何代数 / 書き換えシステム / 記号代数計算 / 計算折紙の理論とソフトウェアシステム / 折紙幾何学 / geometric algebra / 計算折紙 / 計算幾何学 / 自動定理証明 / 計算折紙システム / 折紙プログラミング / 折紙計算論 / Geometric Algebra / 記号計算 隠す
  • 研究課題

    (1件)
  • 研究成果

    (2件)
  • 共同研究者

    (1人)
  •  Geometric Algebraを核とする折紙計算論の展開

    • 研究代表者
      井田 哲雄
    • 研究期間 (年度)
      2016 – 2022
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      筑波大学

すべて 2018 2016

すべて 雑誌論文

  • [雑誌論文] Toward non-flat geometrical origami folds with Eos system2018

    • 著者名/発表者名
      Fadoua Ghourabi
    • 雑誌名

      SYNASC 2017, post-proceedings

      巻: 印刷中

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00008
  • [雑誌論文] A New Formalization of Origami in Geometric Algebra2016

    • 著者名/発表者名
      Tetsuo Ida, Jacques Fleuriot, Fadoua Ghourabi
    • 雑誌名

      Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry

      巻: hal-01334334

    • 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00008
  • 1.  井田 哲雄 (70100047)
    共同の研究課題数: 1件
    共同の研究成果数: 1件

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