YASUGI Mariko 八杉満利子

… Alternative Names

八杉満利仔ヤスギマリコ

八杉舶満利子ヤスギマリコ

八杉満利子ヤスギマリコ

Less

Researcher Number	90022277
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2013: 京都産業大学, 名誉教授 2009 – 2011: Kyoto Sangyo University, 名誉教授 2008: Kyoto Sangyo University, 経済学研究科, 客員研究員 1989 – 2008: 京都産業大学, 理学部, 教授 1998: 京都産業大学, 理学部 1996: 京都産業大学, 理, 教授 1986 – 1987: 京都産業大学, 理学部, 教授
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Fundamental theory of informatics / Intelligent informatics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / Geometry / General mathematics (including Probability theory/Statistical mathematics) / 経済理論 / 社会システム工学 … More / Economic theory / Environmental impact assessment/Environmental policy / Science and Engineering / Algebra / 解析学 Less
Keywords	Principal Investigator 極限再帰性 / 証明論 / 計算可能性 / ドメイン理論 / 列計算可能性 / 極限再帰関数 / 実効的一様位相 / カット除去定理 / 正規性 / Fractals with infinite bases … More / Proof animation / Limit recursion / Effective Fine convergence of function sequences / Effective sequence of Fine continuous functions / limit / Effective sequence of uniformities / Effective continuity / Computable analysis / Fine-空間 / アナログ計算 / 逆数学 / コーディング / Fine位相 / 無限のベースのフラクタル / 無限ベースのフラクタル / 証明アニメーション / 関数列の実効的Fine収束 / 実効的Fine連続関数列 / 実効的一様位相列・極限 / 実効的連続性 / 計算可能解析学 / Constructive logic / Linear operator / Domain theory / Limit computability / Uniform space / Piecewise continuous function / Effectivity / Computability structure / 排中律 / 連続体 / 型2マシン / Σ^0_1-排中律 / グレーコード / 関数空間 / 不連続関数 / 構成的理論 / 構成的論理 / 線形作用素 / 極限計算可能性 / 一様位相空間 / 区分的不連続関数 / 実効性 / 計算可能性構造 / 計算性 / 算術的定義可能性 / カオス / 無矛盾性証明 / 無限言語 / 超準解析 / 構成的解析学 / 直観主義 / 計算機上の実現 / 形式的体系の解釈 / グラフ有向集合 / Fine可積分関数 / 計算可能分布 / 単調有界性原理 / 実効的一様性 / フラクタル / 2次元Fine可積分関数 / 実効的収束 / 数理哲学 / マルチフラクタル / 極限再帰の数学の体系 / 数学基礎論 / Fine計算可能関数 / 計算可能確率分布 / ゲーム・ソフトウェア / バックトラッキング / カット・三段論法 / 構成的論理体系 / ゲームサイトセマンティックス / ゲームセマンティックス / 有限基底定理 / 変換意味論 / 必勝法 / バックトラック / ゲーム意味論 / セミ古典論理 / ジャンプ・アウト / セラ・オートマタ / チープ・トーク・ゲーム / 様相論理 / パズル / モデル / 限定合理性 / 情報構造 / 知識の論理 / ゲーム理論 / 自動証明 / 無予値性 / 知識集合 / 論理体系 / 知識作用素 / 自然な証明 / 計算機構 / 古典論理 / 自然演繹 / 型のモデル / 構成的体系 / 項 / 型 / 正規化 / バ-帰納法 / 超限的型理論 / 汎関数の体系 / 超限帰納法 / 構成的数学の体形 … More Except Principal Investigator 数理論理学 / 超準解析 / 実験経済学 / 数学教育 / 学力調査 / 学部専門教育 / classical proof execution / 学習理論 / deg(L) / root(L) / 学力低下 / 大学基礎教育 / 証明論 / 集合論 / 論理 / 様相論理 / 安定性理論 / フラクタル / 計算可能性 / 社会工学 / 計算機経済学 / リサイクル / 遺伝アルゴリズム / 学習指導要領 / マルチフラクタル / Recursin Thery / Construction Mathematics / Model Thevy / Set Thevy / Proof Thevy / Foundation of Mathematics / Mathematical Logic / 超準解析数学史 / 数学史 / 帰納論 / 構成的数学 / 模型論 / 数学基礎論 / Manufacturing Systems / The Law for Recycling / Life-Cycle Management / Recycling / Social Engineering / Computational Economics / Experimental Economics / The market Microstructure Theory / 家電リサイクル法 / シュミレーション / マーケットマイクロストラクチャー / ライフ・サイクル・マネジメント / 生産システム / リサイクル法 / ライフサイクル・マネジメント / マーケット・マイクロストラクチャー理論 / mathematical logic / Inductive inference / 非構成的原理 / 非構成的論理 / 極限計算 / 形式的技法 / 形式的証明 / 古典論理証明実行 / inductive inference / learning theory / program logic / program verification / constructive programming / Curry-Howardの対応 / 古典論理証明の実行 / 論理情報の視覚化 / 定理証明 / 形式的証明の開発 / Petri net / palindrome / decidability problem / regular language / context-free language / primitive word / シャッフル演算 / オートマトン / 非決定問題 / 形式言語 / 星型積 / 稠密文脈自由言語 / 非決定性有向オートマトン / CPN言語 / プレフィックス・コード / ペトリネット言語 / ペトリネット / 回文 / 決定問題 / 正規言語 / 文脈自由言語 / 原始語 / winner-take-all market / network externalities / genetic algorithm / complex system / game theory / evolutionary economics / modal logic / cellular automata / 共有知識 / セラ・オートマタ / 遺伝子アルゴリズム / 人工社会 / 複雑系 / シミュレーション / ネットワーク外部性 / 寡占市場 / セルラ・オートマタ / teaching method / linear algebra / calculus / education in majors / decline of ability / achievement test / basic education at universities / mathematics education / 教員養成 / 基本カリキュラム / 大学数学基礎教育 / 教育方法 / 線型代数学 / 微分積分学 / Ability of Mathematical Expression / Reforms of General Education / Inquiry of Students' Capacity / Deterioration of Students' Capacity / Mathematics Education for Specialty / Relaxation of Regulations / Mathematics Education / Fundamental Education at University / 専問教育 / 基礎教育 / 大綱化 / 数学的表現力 / 教養部改革 / 大網化 / Mathematical logic / Linear logic / Non-standard analysis / ideal / Non-standard logic / BCK algchra / Supercompect Cardinals / Inner Models / New-stardird Analysis / Motomsthematics / Reverse Mathemtics / Substructural Logic / Honest Polynomial Degree / ファイマン種分 / 型理論 / recursive ordinal / elementary embedding / Browerian-valued model / substructural logic / クリプケモデル / 集合論的トポロジー / 線形論理学 / イデアル / 非標準論理学 / Calculability / Abel Group / Stability Theory / Galois Theory / Definability / Boolean valued model / Information and Logic / Theory of Models / 安定群 / 超巾 / 計算機構論 / 情報 / 公理化 / ア-ベル群 / ガロアの理論 / 定義可能性 / ブ-ル値モデル / 情報と論理 / モデルの理論 / 物性理論 / フラクタル分解 / スピングラス / 確率論 / 数理モデル / ランダムな反復アルゴリズム / 分布の実効的収束 / 計算可能分布 / ファイン連続関数 / ファイン位相 / 離散分布 / 2進無理数 / 実効的中心極限定理 / 特性関数 / 列計算可能性 / 分布関数 / 確率分布の実効的収束 / ファイン計算可能関数 / ファイン計算可能実数列 / 実効的ウォルシュ・フーリエ解析 / 実効的収束確率分布列 / 計算可能確率分布 / 実効的収束関数列 / 実効的連続性 / 計算可能関数 / 計算可能解析 / 実験哲学 / 認識論 / エージェントモデル / 耐久財 / マーケットマイクロストラクチ / マルチエージェント / 耐久消費財 / 創発 / 限定合理性 / 制度設計 / 意思決定問題 / 共創 / 実世界ジレンマ / 遺伝的アルゴリズム / 適応 / 力学系 / 計算機実験 / 投入産出分析 / 構造変化 / 経済成長 / 多部門モデル / カリキュラム / 大学数学教育 / メタプレクティック表現 / テ-タ関数 / ユニタリ群 / 代数群 / 保型形式 / 力学系の分岐理論 / 相関符号化理論 / ランダムフラクタル上のパーコレーション / 伝染病伝播モデル / ヘテロクリニック軌道の分岐 / 消滅過程 / ランダムフラクタル / 中間積分 / 特異点 / 弱解 / 波動伝播 / MongeーAmpe^^｀re方程式 / 2階偏微分方程式 / 1階偏微分方程式 Less

Research on the multifractal decompositions of mutual-recursive sets
- Principal Investigator
  
  TSUJII Yoshiki
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
Structural Change and Bounded Rationality
- Principal Investigator
  
  ODA Hidenori
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Economic theory
- Research Institution
  Kyoto Sangyo University
Computable analysis on the nonnegative real line-Walsh-Fourier transform and computability of distributions-
- Principal Investigator
  
  MORI Takakazu
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
Multilateral research on the role of limiting recursive functions in the computability problemPrincipal Investigator
- Principal Investigator
  
  YASUGI Mariko
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
極限計算可能数学の計算機上の実行Principal Investigator
- Principal Investigator
  
  八杉満利子
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto Sangyo University
Market Mechanism and Institutional Design in Durable Goods Recycling
- Principal Investigator
  
  ODA Hidenori
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Environmental impact assessment/Environmental policy
- Research Institution
  Kyoto Sangyo University
実世界ジレンマにおける共創的意思決定と制度設計
- Principal Investigator
  
  UEDA Kanji
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
Computability of discontinuous functions-Towards its paradigmPrincipal Investigator
- Principal Investigator
  
  YASUGI Mariko
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
ノイマン・モデルの非線形化
- Principal Investigator
  
  小田秀典
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  経済理論
- Research Institution
  Kyoto Sangyo University
Logic of Limit Computing and its Applications
- Principal Investigator
  
  HAYASHI Susumu
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kobe University
The strategy design to the recycling market based on the market microstructure theory
- Principal Investigator
  
  ODA Hidenori
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  社会システム工学
- Research Institution
  Kyoto Sangyo University
限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけPrincipal Investigator
- Principal Investigator
  
  八杉満利子
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyoto Sangyo University
Multilateral Researches on Computability Problems on the ContinuumPrincipal Investigator
- Principal Investigator
  
  YASUGI Mariko
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
ゲーム理論の論理化とその計算機実験Principal Investigator
- Principal Investigator
  
  八杉満利子
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
大学数学基礎・学部教育改善のための調査研究
- Principal Investigator
  
  NAMIKAWA Yukihiko
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Nagoya University
Formal Languages, Codes and Cryptosystems
- Principal Investigator
  
  ITO Masami
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
Proof Animation -testing proofs by constructive programming-
- Principal Investigator
  
  HAYASHI Susumu
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  計算機科学
- Research Institution
  Kobe University
General study on improvement of basic education of mathematics in universities
- Principal Investigator
  
  NAMIKAWA Yukihiko
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Geometry
- Research Institution
  Nagoya University
The application of cellular automata and genetic algorithm to the analysis of the dynamics in oligopolistic markets
- Principal Investigator
  
  ODA Hidenori
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  経済理論
- Research Institution
  kyoto Sangyo University
ユニタリ群上の保型形式の整数論的研究
- Principal Investigator
  
  村瀬篤
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Kyoto Sangyo University
自然演繹の体系と古典論理の計算機構Principal Investigator
- Principal Investigator
  
  八杉満利子
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
Synthetic Study for fundamental mathematics education at university
- Principal Investigator
  
  MIYAKE Masatake
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Geometry
- Research Institution
  Graduate School of Polymathematics, Nagoya University
論理の階層的構造と超限的型理論Principal Investigator
- Principal Investigator
  
  八杉満利子
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
ダイナミカルシステムの分岐とその数値解析
- Principal Investigator
  
  藤井宏
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
ランダムフラクタルおよびマルチフラクタルの研究
- Principal Investigator
  
  TSUJII Yoshiki
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
COOPERATIVE RESEARCH OF MATHEMATICAL LOGIC AND ITS RELATED FIELDS
- Principal Investigator
  
  KAKUDA Yuzuru
- Project Period (FY)
  1992 – 1994
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University
解析学の階層的論理構造と超限的型理論Principal Investigator
- Principal Investigator
  
  八杉満利子
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
波動伝播現象の解析と特異点理論について
- Principal Investigator
  
  辻幹雄
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Kyoto Sangyo University
Co-operative Research of Theory of Models and related fields
- Principal Investigator
  
  MOTOHASHI Nobuyoshi
- Project Period (FY)
  1989 – 1991
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  University of Tsukuba
解析学の階層的論理構造の研究Principal Investigator
- Principal Investigator
  
  八杉満利子
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
Mathematical Logic
- Principal Investigator
  
  UESU Tadahiro
- Project Period (FY)
  1986 – 1988
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Science University of Tokyo
  Kyushu University

All 2013 2012 2011 2010 2009 2008 2007 2006 2005 Other

All Journal Article Presentation Book

[Book] Fine convergence of functions and its effectivization, Automata, Formal Languages and Algebraic Systems2010
- Author(s)
  Takakazu Mori, Mariko, Yasugi and Yoshiki Tsujii
- Data Source
  KAKENHI-PROJECT-21530175
[Book] Computability of probability distributions2009
- Author(s)
  Takakazu Mori, Yoshiki Tsujii and Mariko, Yasugi
- URL
  http://drops.dagstuhl.de/opus/volltexte/2009/227
- Data Source
  KAKENHI-PROJECT-21530175
[Book] Random iteration algorithm for graph-directed sets2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko, Yasugi and Hideki Tsuiki
- URL
  http://drops.dagstuhl.de/opus/volltexte/2009/2275
- Data Source
  KAKENHI-PROJECT-21530175
[Book] Fine-continuous functions and fractals defined by infinite systems of contractions2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko, Yasugi, Hideki Tsuiki
- Data Source
  KAKENHI-PROJECT-21530175
[Book] ゲーテル不完全性定理2006
- Author(s)
  林晋, 八杉満利子(訳・解説)
- Total Pages
  309
- Publisher
  岩波書店(岩波文庫)
- Data Source
  KAKENHI-PROJECT-16340028
[Book] ゲーデル不完全性定理2006
- Author(s)
  林晋, 八杉満利子(訳・解説)
- Total Pages
  309
- Publisher
  岩波書店(岩波文庫)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340028
[Book] ゲーデル不完全性定理2006
- Author(s)
  林晋, 八杉満利子 (訳・解説)
- Total Pages
  309
- Publisher
  岩波書店(岩波文庫)
- Data Source
  KAKENHI-PROJECT-18650003
[Book] Godel Incompleteness Theorem (Translation and exposition in Japanese)2006
- Author(s)
  S.Hayashi, M.Yasugi
- Total Pages
  309
- Publisher
  Iwanami Bunko(Iwanami Shoten)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16340028
[Journal Article] Computability of Probability Distributions and Characteristic Functions.2013
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 9(3:9) Pages: 1-11
- DOI
  10.2168/lmcs-9(3:9)2013
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540170
[Journal Article] Computability of Probability Distributions and Characteristic Functions2013
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Journal Title
  
  Logical Methods in Coamputer Science
  
  Volume: Vol.9(3:9) Pages: 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540170
[Journal Article] 仮説・予想・公理・公理系2011
- Author(s)
  八杉滿利子
- Journal Title
  
  数理科学
  
  Volume: 12月号 Pages: 60-61
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21530175
[Journal Article] Fine computability of probability distribution functions and computability of probability distributions on the real line2011
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Journal Title
  
  University of Cape Town (Abstract集)
  
  Pages: 17-17
- NAID
  110009995243
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Sequential computability of a function-limiting recursion versus effective uniformity-2010
- Author(s)
  Mariko Yasugi, Masako Washihara
- Journal Title
  
  Scientiae Mathematicae Japonicae Vol.71
  
  Pages: 331-341
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Sequential computability of a function-limiting recursion versus effective uniformity2010
- Author(s)
  Mariko, Yasugi and Masako Washihara
- Journal Title
  
  Scientiae Mathematicae Japonicae
  
  Volume: 71, No.3, No.23
- URL
  http://www.jams.or.jp/scm/contents/e-2010-2/2010-16.pdf
- Data Source
  KAKENHI-PROJECT-21530175
[Journal Article] Sequential computability of a function-limiting recursion versus effective uniformity-2010
- Author(s)
  Mariko Yasugi
- Journal Title
  
  Scientiae Mathematicae Japonicae
  
  Volume: 71 Pages: 331-341
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21530175
[Journal Article] Fine computability of probability distribution functions and computability of probability distributions on the real line2010
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Journal Title
  
  University of Cape Town (Abstract集)
  
  Pages: 17-17
- NAID
  110009995243
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Fine convergence of functions and its effectivization2010
- Author(s)
  Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
- Journal Title
  
  Automata, Formal Languages and Algebraic Systems(World Scientific)
  
  Pages: 139-162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Sequential computability of a function-limiting recursion versus effective uniformity-2010
- Author(s)
  Mariko Yasugi, Masako Washihara
- Journal Title
  
  Scientiae Mathematicae Japonicae
  
  Volume: Vol.71 Pages: 331-341
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Sequential computability of a function-limiting recursion versus effective uniformity-2010
- Author(s)
  M.Yasugi
- Journal Title
  
  Scientiae Mathematicae Japonicae (掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21530175
[Journal Article] Sequential computability of a function-limiting recursion versus effective uniformity-2010
- Author(s)
  M.Yasugi, M.Washihara
- Journal Title
  
  Scientiae Mathematicae Japonicae
  
  Volume: 71 Pages: 331-341
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine convergence of functions and its effectivization2010
- Author(s)
  T.Mori, M.Yasugi, Y.Tsujii
- Journal Title
  
  Automata, Formal Languages and Algebraic Systems (World Scientific)
  
  Pages: 139-162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine convergence of functions and its effectivization, Automata2010
- Author(s)
  Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
- Journal Title
  
  Formal Languages and Algebraic Systems (World Scientific)
  
  Pages: 139-162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Sequential computability of a function-limiting recursion versus effective uniformity-2010
- Author(s)
  M.Yasugi, M.Washihara
- Journal Title
  
  Scientiae Mathematicae Japonicae(2010年3月10日掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine convergence of functions and its effectivization2010
- Author(s)
  T.Mori, M.Yasugi, Y.Tsujii
- Journal Title
  
  Automata, Formal Languages and Algebraic Systems (World Scientific)
  
  Pages: 139-162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Random iteration algorithm for graph-directed sets2009
- Author(s)
  Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki
- Journal Title
  
  Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2275
  
  Pages: 245-256
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Random iteration algorithm for graphdirected sets2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- Journal Title
  
  Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, Dagstuhl esearch Online Publication 2009/2275
  
  Pages: 245-256
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Computability of probability distribution, Proceedings of the Sixth International Conference on Computability and Complexity in Analysis2009
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Journal Title
  
  Dagstuhl Research Online Publication
  
  Volume: 2270 Pages: 185-196
- URL
  http://drops.dagstuhl.de/opus/volltexte/2009/2270/pdf/Mori.2270.pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Computability of probability distribution2009
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Journal Title
  
  Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2270
  
  Pages: 185-196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Fine continuous functions and fractals defined by infinite systems of contractions2009
- Author(s)
  Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.5489
  
  Pages: 109-125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Random iteration algorithm for graph-directed sets2009
- Author(s)
  Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki
- Journal Title
  
  Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 20 2009/2275
  
  Pages: 245-256
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Computability of probability distribution2009
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Journal Title
  
  Proceedings of the Sixth International Conference on Computability and Complexity in Analysis 2009/2270 Dagstuhl Research OnlinePublication
  
  Pages: 185-196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine-computable functions on the unit square and their integral2009
- Author(s)
  Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
- Journal Title
  
  Journal of Universal Computer Science Vol.15
  
  Pages: 1264-1279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine-computable functions on the unit square and their integral2009
- Author(s)
  Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
- Journal Title
  
  Journal of Universal Computer Science
  
  Volume: Vol.15 Pages: 1264-1279
- URL
  http://www.jucs.org/jucs_15_6/fine_computable_functions_on
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Fine-computable functions on the unit square and their integral2009
- Author(s)
  T.Mori, M.Yasugi, Y.Tsujii
- Journal Title
  
  Journal of Universal Computer Science Vol.15
  
  Pages: 1264-1279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Random iteration algorithm for graph-directed sets, Proceedings of the Sixth International Conference on Computability and Complexity in Analysis2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- Journal Title
  
  Dagstuhl Research Online Publication
  
  Volume: 2275 Pages: 245-256
- URL
  http://drops.dagstuhl.de/opus/volltexte/2009/2275/pdf/Tsujii.2275.pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Fine continuous functions and fractals defined by infinite systems of contractions2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.5489
  
  Pages: 1264-1279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine-computable functions on the unit square and their integral2009
- Author(s)
  T. Mori, M. Yasugi, Y. Tsujii
- Journal Title
  
  Mathematical Logic Quarterly 15巻6号(けいさい確定)
  
  Pages: 1264-1279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine-computable functions on the unit square and their integral2009
- Author(s)
  T.Mori, M.Yasugi, Y.Tsujii
- Journal Title
  
  Journal of Universal Computer Science 15
  
  Pages: 1264-1279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Computability of probability distribution2009
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Journal Title
  
  Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2270
  
  Pages: 185-196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine continuous functions and fractals defined by infinite systems of contractions2009
- Author(s)
  Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki
- Journal Title
  
  Lecture Notes in Artificial Intelligence Vol.5489
  
  Pages: 109-125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine-computable functions on the unit square and their integral2009
- Author(s)
  Takakazu Mori, Mariko, Yasugi, Yoshiki Tsujii
- Journal Title
  
  Journal of Universal Computer Science Issue
  
  Volume: 6, vol.15 Pages: 1264-1279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21530175
[Journal Article] Fine continuous functions and fractals defined by infinite systems of contractions2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: Vol.5489 Pages: 1264-1279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540152
[Journal Article] Effective Fine convergence of Walsh Fourierseries2008
- Author(s)
  Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
- Journal Title
  
  Mathematical Logic Quarterly Vol.54
  
  Pages: 519-534
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Integral of two-dimensional Fine-computable functions2008
- Author(s)
  Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
- Journal Title
  
  Electronic Notes in Theoretical Computer Science Vol.221
  
  Pages: 141-152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Integral of two-dimensional Fine-computable functions2008
- Author(s)
  T. Mori, M. Yasugi, Y. Tsujii
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 221
  
  Pages: 141-152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] 連続体上の計算概念について-再帰関数を超えるもの-2008
- Author(s)
  八杉満利子
- Journal Title
  
  哲学論叢(京都大学哲学論叢刊行会編) XXXV
  
  Pages: 199-209
- NAID
  120001863191
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] 連続体上の計算概念について-再帰関数を超えるもの-2008
- Author(s)
  八杉満利子
- Journal Title
  
  哲学論叢(京都大学哲学論叢刊行会編) XXXV巻
  
  Pages: 199-209
- NAID
  120001863191
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] Fine computable functions and effective Fine convergence2008
- Author(s)
  八杉満利子、森隆一
- Journal Title
  
  MAST (accepted)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17310029
[Journal Article] Integral of Fine computable functions and Walsh Fourier series2008
- Author(s)
  八杉満利子、森隆一
- Journal Title
  
  Electronic Notes in Theoretical Computer Science、 ENTCS 202
  
  Pages: 279-293
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17310029
[Journal Article] Effective Fine convergence of Walsh Fourier series2008
- Author(s)
  T. Mori, M. Yasugi, Y. Tsujii
- Journal Title
  
  Mathematical Logic Quarterly 54
  
  Pages: 519-534
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540143
[Journal Article] The effective sequence of uniformities and its limit as a methodology in computable analysis2007
- Author(s)
  M.Yasugi, T.Mori, Y.Tsujii
- Journal Title
  
  Annals of the Japan Association for Philosophy of Science 15-2
  
  Pages: 99-121
- NAID
  110007033699
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340028
[Journal Article] The effective sequence of uniformities and its limit as a methodology in computable analysis2007
- Author(s)
  M.Yasugi, T.Mori, Y.Tsujii
- Journal Title
  
  Annals of the Japan Association for Philosophy of Science 15-2
  
  Pages: 99-121
- NAID
  110007033699
- Data Source
  KAKENHI-PROJECT-18650003
[Journal Article] The effective sequence of uniformities and its limit as a methodology in computable analysis2007
- Author(s)
  M.Yasugi, T.Mori, Y.Tsujii
- Journal Title
  
  Annals of t he Japan Association for Philosophy of Science 15-2
  
  Pages: 99-121
- NAID
  110007033699
- Data Source
  KAKENHI-PROJECT-16340028
[Journal Article] Sequential computability of a function-Effective Fine space and imiting recursion2005
- Author(s)
  Yasugi, Mariko
- Journal Title
  
  Journal of Universal Computer Science 11-12
  
  Pages: 2179-2191
- Data Source
  KAKENHI-PROJECT-16340028
[Journal Article] Sequential computability of a function-Effective Fine space and limiting recursion2005
- Author(s)
  M.Yasugi, et al.
- Journal Title
  
  Journal of Universal Computer Science 11-12
  
  Pages: 2179-2191
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340028
[Journal Article] Effective sequence of uniformities and its effective limit2005
- Author(s)
  Yasugi, Mariko
- Journal Title
  
  Proceedings of CCA2005 : Informatik Berichte, FernUniversitaet in Hagen 326-7
  
  Pages: 301-318
- Data Source
  KAKENHI-PROJECT-16340028
[Journal Article] Computability of a function with jumps -Effective uniformityand limiting recursion-2005
- Author(s)
  Mariko Yasugi
- Journal Title
  
  Topology and its Applications (Elsevier Science) 146-147
  
  Pages: 563-582
- Data Source
  KAKENHI-PROJECT-14653003
[Journal Article] Computability of a function with jumps-Effective uniformity and limiting recursion-2005
- Author(s)
  Yasugi, Mariko et al.
- Journal Title
  
  Topology and its Applications 146-147
  
  Pages: 563-582
- Data Source
  KAKENHI-PROJECT-16340028
[Journal Article] Computability of a function with jumps Effective uniformity and limiting recursion2005
- Author(s)
  Mariko Yasugi
- Journal Title
  
  Topology and its Applications (Elsevier Science) No.146-147
  
  Pages: 563-582
- Data Source
  KAKENHI-PROJECT-17310029
[Journal Article] Computability of a function with jumps-Effective uniformity and limiting recursion-2005
- Author(s)
  M.Yasugi, et al.
- Journal Title
  
  Topology and its Applications 146-147
  
  Pages: 563-582
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340028
[Presentation] Levy computability of probability distribution functions2013
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Organizer
  Computability and Complexity in Analysis (CCA2013)
- Place of Presentation
  Laboratoire larrain de recherché en informatique et ses applications (France, Nancy)
- Year and Date
  2013-07-08
- Data Source
  KAKENHI-PROJECT-23540170
[Presentation] Computability of probability distributions and characteristic functions2012
- Author(s)
  T. Mori, Y. Tsujii and M. Yasugi
- Organizer
  Ninth International Conference on Computability and Complexity in Analysis
- Place of Presentation
  Cambridge University, UK
- Data Source
  KAKENHI-PROJECT-23540170
[Presentation] Computability of Probability Distributions and Characteristic Functions2012
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Organizer
  Computability and Complexity in Analysis (CCA2012)
- Place of Presentation
  University of Cambridge, United Kingdom
- Year and Date
  2012-06-25
- Data Source
  KAKENHI-PROJECT-23540170
[Presentation] Fine computability of probability distribution functions and computability of probability distributions on the real line2011
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Organizer
  Computability and Complexity in Analysis (CCA2011)
- Place of Presentation
  University of Cape Town, South Africa.
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Fine computability of probability distribution functions and computability of probability distributions on the real line2011
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Organizer
  Computability and Complexity in Analysis(CCA2011)
- Place of Presentation
  University of Cape Town, South Africa
- Year and Date
  2011-02-04
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] Fine computability of probability distribution functions and computability of probability distributions on the real line2011
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Organizer
  CCA2011
- Place of Presentation
  Cape Town, 南アフリカ
- Year and Date
  2011-02-04
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Fine computability of probability distribution functions and computability of probability distributions on the real line2011
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko, Yasugi
- Organizer
  CCA2011
- Place of Presentation
  Cape Town
- Data Source
  KAKENHI-PROJECT-21530175
[Presentation] Fine computability of probability distribution functions and computability of probability distributions on the real line2011
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Organizer
  CCA2011
- Place of Presentation
  Cape Town, 南アフリカ
- Year and Date
  2011-02-04
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] On sequential computability of a function2010
- Author(s)
  Mariko Yasugi, Masako Washihara
- Organizer
  Workshop on Constructive Aspects of Logic and Mathematics
- Place of Presentation
  金沢エクセルホテル東急
- Year and Date
  2010-03-10
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] 極限再帰性という計算概念の基礎2010
- Author(s)
  八杉満利子
- Organizer
  科学基礎論学会
- Place of Presentation
  専修大学生田キャンパス
- Year and Date
  2010-06-13
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] On sequential computability of a function2010
- Author(s)
  M.Yasugi
- Organizer
  Workshop on Constructive Aspects of Logic and Mathematics
- Place of Presentation
  金沢エクセルホテル東急
- Year and Date
  2010-03-10
- Data Source
  KAKENHI-PROJECT-21530175
[Presentation] 極限再帰性という計算概念の基礎2010
- Author(s)
  八杉満利子
- Organizer
  科学基礎論学会
- Place of Presentation
  専修大学生田キャンパス.
- Year and Date
  2010-06-13
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] On sequential computability of a function2010
- Author(s)
  Mariko, Yasugi and Masako Washihara
- Organizer
  Workshop on Constructive Aspects of Logic and Mathematics
- Place of Presentation
  Kanazawa
- Data Source
  KAKENHI-PROJECT-21530175
[Presentation] 極限再帰性という計算概念の基礎2010
- Author(s)
  八杉満利子
- Organizer
  科学基礎論学会
- Place of Presentation
  専修大学生田キャンパス
- Year and Date
  2010-06-13
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] On sequential computability of a function2010
- Author(s)
  Mariko Yasugi, Masako Washihara
- Organizer
  Workshop on Constructive Aspects of Logic and Mathematics
- Place of Presentation
  金沢エクセルホテル東急
- Year and Date
  2010-03-10
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Computability of Probability Distributions and Distribution Functions on the Real Line2009
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Organizer
  CCA2009
- Place of Presentation
  University of Ljubljana, Slovenia
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] Computation in the limit-its image and philosophy behind-2009
- Author(s)
  八杉満利子
- Organizer
  Logic, Game Theory and Social Choice 6
- Place of Presentation
  筑波大学
- Year and Date
  2009-08-29
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Cognition of computation by limiting recursion2009
- Author(s)
  Mariko Yasugi
- Organizer
  TF4-E Workshop
- Place of Presentation
  京都産業大学
- Year and Date
  2009-03-23
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] Random iteration algorithm for graph-directed sets2009
- Author(s)
  Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki
- Organizer
  CCA2009
- Place of Presentation
  University of Ljubljana, Slovenia
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] Cognition of computation by limiting recursion2009
- Author(s)
  八杉満利子
- Organizer
  TF4-E Workshop
- Place of Presentation
  京都産業大学
- Year and Date
  2009-03-23
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Computability of probability distributions2009
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Organizer
  CCA2009
- Place of Presentation
  Ljubljana, Slovenia
- Year and Date
  2009-08-20
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Random iteration algorithm for graph-directed sets2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko, Yasugi, Hideki Tsuiki
- Organizer
  CCA2009
- Place of Presentation
  Ljubljana, Slovenia
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-21530175
[Presentation] Computation in the limit -its image and philosophy behind-2009
- Author(s)
  M.Yasugi
- Organizer
  Logic, Game Theory, and Social Choice 6
- Place of Presentation
  筑波大学
- Year and Date
  2009-08-29
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Random iteration algorithm for graph-directed sets2009
- Author(s)
  Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki
- Organizer
  CCA2009
- Place of Presentation
  Ljubljana, Slovenia
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Computability of probabilitydistributions2009
- Author(s)
  Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
- Organizer
  CCA2009
- Place of Presentation
  University of Ljubljana, Slovenia.
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Computation in the Limit-its Image and Philosophy Behind-2009
- Author(s)
  Mariko, Yasugi
- Organizer
  Session 4Ma : Simulation and fMRI Studies on Human Cognition and Social Phenomena
- Place of Presentation
  University of Tsukuba
- Year and Date
  2009-08-29
- Data Source
  KAKENHI-PROJECT-21530175
[Presentation] Computation in the limit-its image and philosophy behind-2009
- Author(s)
  Mariko Yasugi
- Place of Presentation
  筑波大学
- Year and Date
  2009-08-29
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] Random iteration algorithm for graph-directed sets2009
- Author(s)
  Y. Tsujii, T. Mori, M. Yasugi, H. Tsuiki
- Organizer
  CC-Seminar
- Place of Presentation
  京都産業大学
- Year and Date
  2009-01-23
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Computability of probability distributions2009
- Author(s)
  Takakazu Mori, Yoshiki Tsujii and Mariko, Yasugi
- Organizer
  CCA2009
- Place of Presentation
  Ljubljana, Slovenia
- Year and Date
  2009-08-20
- Data Source
  KAKENHI-PROJECT-21530175
[Presentation] Random iteration algorithm for graph directed sets2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- Organizer
  CCA2009
- Place of Presentation
  University of Ljubljana, Slovenia.
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Random iteration algorithm for graph directed sets2009
- Author(s)
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- Organizer
  CCA2009
- Place of Presentation
  University of Ljubljana, Slovenia
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] Computability of probability distributions2009
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Organizer
  CCA2009
- Place of Presentation
  University of Ljubljana, Slovenia
- Year and Date
  2009-08-20
- Data Source
  KAKENHI-PROJECT-21540152
[Presentation] Integral of two-dimensional Fine-computable functions2008
- Author(s)
  Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
- Organizer
  CCA2008
- Place of Presentation
  FernUniversity-Hagen, Germany.
- Year and Date
  2008-08-23
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Effective uniformity and limiting recursion in computable analysis2008
- Author(s)
  Mariko Yasugi
- Organizer
  Workshop on Constructivism: Logic and Mathematics
- Place of Presentation
  金沢文化ホール
- Year and Date
  2008-05-30
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Effective uniformity and limiing recursion in computable analysis2008
- Author(s)
  八杉満利子
- Organizer
  Workshop on Constructivism : Logic and Mathematics
- Place of Presentation
  金沢文化ホール
- Year and Date
  2008-05-30
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Integral of two-dimensional Fine-computable functions2008
- Author(s)
  T. Mori, M. Yasugi, Y. Tsujii
- Organizer
  5th International Conference on Computabi-lity and Complexity in Analysis
- Place of Presentation
  Hagen通信大学
- Year and Date
  2008-08-23
- Data Source
  KAKENHI-PROJECT-20540143
[Presentation] Fractals defined by infinite contractions and mutual-recursive sets2007
- Author(s)
  八杉満利子、辻井芳樹
- Organizer
  Infinity in Logic and Computation
- Place of Presentation
  University of Cape Town
- Year and Date
  2007-11-24
- Data Source
  KAKENHI-PROJECT-17310029
[Presentation] Levy computability of probability distribution functions
- Author(s)
  T.Mori, Y.Tsujii, M.Yasugi
- Organizer
  Tenth International Conference on Computability and Complexity in Analysis
- Place of Presentation
  Laboratoire larrain de recherche en informatique et ses applications (France, Nancy)
- Data Source
  KAKENHI-PROJECT-23540170

1. ODA Hidenori (40224240)

# of Collaborated Projects: 9 results

# of Collaborated Products: 0 results
2. TSUJII Yoshiki (90065871)

# of Collaborated Projects: 7 results

# of Collaborated Products: 50 results
3. HAYASHI Susumu (40156443)

# of Collaborated Projects: 7 results

# of Collaborated Products: 4 results
4. MORI Takakazu (00065880)

# of Collaborated Projects: 5 results

# of Collaborated Products: 50 results
5. AKIYAMA Eizo (40317300)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
6. NISHIMORI Tosiyuki (50004487)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. HOSONO Yuzo (50008877)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. MURASE Atsushi (40157772)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. NAMIKAWA Yukihiko (20022676)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
10. NEGAMI Seiya (40164652)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. KOBAYASHI Satoshi (70234820)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
12. UEDA Kanji (50031133)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
13. MOTOHASHI Nobuyoshi (70015874)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
14. 辻幹雄 (40065876)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
15. KATSURA Masashi (80065870)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
16. ITO Masami (50065843)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. IIDA Yoshio (50273727)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
18. IWASAKI Iwasaki (30380679)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
19. SATO Masahiko (20027387)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
20. UESU Tadahiro (60015550)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
21. EDA Katsuya (90015826)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
22. MIYAKE Masatake (70019496)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
23. KITAHARA Kazuo (20107692)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
24. MURATA Hiroshi (20033897)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
25. WASHIHARA Masako (40065800)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
26. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
27. TSUIKI Hideki (10211377)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
28. 中神恵子 (60065836)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
29. 水原亮 (30065776)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
30. 戸瀬信之 (00183492)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
31. KITAMURA Ryuichi (60252467)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. YOKOO Yokoo (20380678)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. IYORI Kouhei (70435048)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. OGAWA Kazuhito (50405487)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. NISHINO NARIAKI (90401299)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. TSUBOI Akito (30180045)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. KAKUDA Yuzuru (50031365)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. KAMAE Tetsuro (80047258)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. KAMO Sizuo (30128764)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. NISHIMURA Kazuo (60145654)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. ISHIDA Hisashi (10103714)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. YOSHIKAWA Aisushi (80001866)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. MIYOSHI Hiroyuki (60286135)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. YAMADA Shuji (30192404)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
46. SHIRAI Kohio (70077915)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
47. UMEZAWA Toshio (40021919)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
48. NISHIMURA Toshio (00015471)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
49. 藤井宏 (90065839)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
50. 正岡弘照 (30219315)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
51. 福井和彦 (30065883)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
52. 馬場靖憲 (80238229)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
53. 藤井信忠 (80332758)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
54. 篠田寿一 (30022685)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
55. 田中一之 (70188291)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
56. 高橋譲嗣 (30197149)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
57. 渡辺信 (70240489)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
58. 小林亮一 (20162034)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
59. 赤間陽二 (30272454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
60. 高橋大輔 (50188025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
61. 石原哉 (10211046)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
62. 山本章博 (30230535)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
63. 西條辰義 (20205628)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
64. 山崎武 (30336812)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
65. 難波完爾 (40015524)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

YASUGI Mariko 八杉 満利子

八杉 満利仔 ヤスギ マリコ

八杉 舶満利子 ヤスギ マリコ

八杉 満利子 ヤスギ マリコ

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Multilateral research on the role of limiting recursive functions in the computability problemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

極限計算可能数学の計算機上の実行Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computability of discontinuous functions-Towards its paradigmPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Multilateral Researches on Computability Problems on the ContinuumPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ゲーム理論の論理化とその計算機実験Principal Investigator

Principal Investigator

Project Period (FY)

YASUGI Mariko 八杉満利子

八杉満利仔ヤスギマリコ

八杉舶満利子ヤスギマリコ

八杉満利子ヤスギマリコ