Rchr
J-GLOBAL ID：200901013182023356   Update date: Aug. 05, 2023

Kamo Hiroyasu

カモ ヒロヤス | Kamo Hiroyasu
Affiliation and department：
奈良女子大学

About 奈良女子大学


Job title： 准教授
Other affiliations (2)：
  • Nara Women's University
  • Nara Women's University
Homepage URL  (1)： http://taurus.ics.nara-wu.ac.jp/staff/kamo/
Research field  (2)： Basic mathematics ,  Information theory
Research keywords  (3)： mathematical logic ,  Urysohn's universal metric space ,  Computability in Analysis
Research theme for competitive and other funds  (4)：
  • 位相空間での計算可能性解析学
  • 論理プログラム言語の意味論に関する研究
  • Computable Analysis on Topological Spaces
  • Study on Semantics of Logic Programming Languages
Papers (4)：
MISC (5)：
  • KAMO Hiroyasu. Schellbach-style Formulae for the Derousseau-Pampuch Generalizations of the Malfatti Circles. arXiv.org. 2013
  • KAMO Hiroyasu. 自己相似集合の計算可能性について-計算量をめざして-. 1997. 17-22
  • KAMO Hiroyasu. Computability of Self-affine Sets (共著). Annual Reports of Graduate School of Human Culture, Nara Women's University. 1996. 12. 12. 135-150-150
  • KAMO Hiroyasu. Computability of Koch Curve and Koch Island(共著). IPSJ SIG Notes. 1996. 96. 100. 1-8-8
  • KAMO Hiroyasu. Declarative Semantics for Modularized Prolog with Herbrand models. 1991. 91. 93
Books (1)：
  • 新版 情報処理ハンドブック(情報処理学会編、共著)
    1995
Lectures and oral presentations  (4)：
  • ユークリッド幾何の問題への数式処理システムの応用
    (2015)
  • 三角形に関する平面ユークリッド幾何への数式処理の応用
    (2014)
  • 三角形に関する平面ユークリッド幾何への数式処理の応用
    (2012)
  • 三角形に関する平面ユークリッド幾何への数式処理の応用
    (2012)
Education (3)：
  • 1991 - 1992 Kyoto University Graduate School, Division of Natural Science
  • 1989 - 1991 Kyoto University Graduate School, Division of Natural Science
  • - 1989 Kyoto University Faculty of Science
Professional career (2)：
  • (BLANK) (Kyoto University)
  • 理学修士 (京都大学)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM