八杉満利子 YASUGI Mariko

… 別表記

八杉満利仔ヤスギマリコ

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

研究者番号	90022277
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2013年度: 京都産業大学, 名誉教授 2009年度 – 2011年度: 京都産業大学, 名誉教授 2008年度: 京都産業大学, 経済学研究科, 客員研究員 1989年度 – 2008年度: 京都産業大学, 理学部, 教授 1998年度: 京都産業大学, 理学部 1996年度: 京都産業大学, 理, 教授 1986年度 – 1987年度: 京都産業大学, 理学部, 教授
審査区分/研究分野	研究代表者数学一般 / 数学一般(含確率論・統計数学) / 情報学基礎 / 知能情報学研究代表者以外数学一般 / 計算機科学 / 幾何学 / 数学一般(含確率論・統計数学) / 経済理論 / 社会システム工学 … もっと見る / 理論経済学 / 環境影響評価・環境政策 / 理工系 / 代数学 / 解析学隠す
キーワード	研究代表者極限再帰性 / 証明論 / 計算可能性 / ドメイン理論 / 列計算可能性 / 極限再帰関数 / 実効的一様位相 / カット除去定理 / 正規性 / Fractals with infinite bases … もっと見る / 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計算可能関数 / 計算可能確率分布 / ゲーム・ソフトウェア / バックトラッキング / カット・三段論法 / 構成的論理体系 / ゲームサイトセマンティックス / ゲームセマンティックス / 有限基底定理 / 変換意味論 / 必勝法 / バックトラック / ゲーム意味論 / セミ古典論理 / ジャンプ・アウト / セラ・オートマタ / チープ・トーク・ゲーム / 様相論理 / パズル / モデル / 限定合理性 / 情報構造 / 知識の論理 / ゲーム理論 / 自動証明 / 無予値性 / 知識集合 / 論理体系 / 知識作用素 / 自然な証明 / 計算機構 / 古典論理 / 自然演繹 / 型のモデル / 構成的体系 / 項 / 型 / 正規化 / バ-帰納法 / 超限的型理論 / 汎関数の体系 / 超限帰納法 / 構成的数学の体形 … もっと見る研究代表者以外数理論理学 / 超準解析 / 実験経済学 / 数学教育 / 学力調査 / 学部専門教育 / 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階偏微分方程式隠す

相互帰納的フラクタルのマルチフラクタル分解の研究
- 研究代表者
  
  辻井芳樹
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
構造変化と合理性の限界
- 研究代表者
  
  小田秀典
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  理論経済学
- 研究機関
  京都産業大学
非負実数上の計算可能性解析-ウォルシュ・フーリエ変換と分布の計算可能性-
- 研究代表者
  
  森隆一
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
計算可能性問題における極限再帰関数の役割の多角的研究研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
極限計算可能数学の計算機上の実行研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  萌芽研究
- 研究分野
  
  情報学基礎
- 研究機関
  京都産業大学
耐久消費財リサイクル市場の構造分析と制度設計
- 研究代表者
  
  小田秀典
- 研究期間 (年度)
  2005 – 2008
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  環境影響評価・環境政策
- 研究機関
  京都産業大学
実世界ジレンマにおける共創的意思決定と制度設計
- 研究代表者
  
  上田完次
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  東京大学
不連続関数の計算可能性-そのパラダイムを目指して-研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
ノイマン・モデルの非線形化
- 研究代表者
  
  小田秀典
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  萌芽研究
- 研究分野
  
  経済理論
- 研究機関
  京都産業大学
極限計算の論理とその応用
- 研究代表者
  
  林晋
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  神戸大学
マーケット・マイクロストラクチャー理論に基づくリサイクル市場への戦略設計
- 研究代表者
  
  小田秀典
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  社会システム工学
- 研究機関
  京都産業大学
限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけ研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  萌芽的研究
- 研究分野
  
  知能情報学
- 研究機関
  京都産業大学
連続体上の計算可能性問題の多角的研究研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2000 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
ゲーム理論の論理化とその計算機実験研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  萌芽的研究
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
大学数学基礎・学部教育改善のための調査研究
- 研究代表者
  
  浪川幸彦
- 研究期間 (年度)
  1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  名古屋大学
形式言語,符号および暗号方式の代数的研究
- 研究代表者
  
  伊藤正美
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
証明アニメーション(構成的プログラミンブによる証明テスト技法)
- 研究代表者
  
  林晋
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  神戸大学
大学数学基礎教育の改善についての総合的研究
- 研究代表者
  
  浪川幸彦
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  幾何学
- 研究機関
  名古屋大学
セラ・オートマタと遺伝アルゴリズムの寡占市場の動学分析への応用
- 研究代表者
  
  小田秀典
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  経済理論
- 研究機関
  京都産業大学
ユニタリ群上の保型形式の整数論的研究
- 研究代表者
  
  村瀬篤
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  京都産業大学
自然演繹の体系と古典論理の計算機構研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
大学における数学基礎教育の総合的研究
- 研究代表者
  
  三宅正武
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  幾何学
- 研究機関
  名古屋大学
論理の階層的構造と超限的型理論研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
ダイナミカルシステムの分岐とその数値解析
- 研究代表者
  
  藤井宏
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
ランダムフラクタルおよびマルチフラクタルの研究
- 研究代表者
  
  辻井芳樹
- 研究期間 (年度)
  1992
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  京都産業大学
数理論理及びその周辺分野の総合的研究
- 研究代表者
  
  角田譲
- 研究期間 (年度)
  1992 – 1994
- 研究種目
  
  総合研究(A)
- 研究分野
  
  数学一般
- 研究機関
  神戸大学
解析学の階層的論理構造と超限的型理論研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  1991
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  京都産業大学
波動伝播現象の解析と特異点理論について
- 研究代表者
  
  辻幹雄
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  京都産業大学
モデルの理論とその関連分野の総合的研究
- 研究代表者
  
  本橋信義
- 研究期間 (年度)
  1989 – 1991
- 研究種目
  
  総合研究(A)
- 研究分野
  
  数学一般
- 研究機関
  筑波大学
解析学の階層的論理構造の研究研究代表者
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  1987
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  京都産業大学
数理論理学の総合的研究
- 研究代表者
  
  上江洲忠弘
- 研究期間 (年度)
  1986 – 1988
- 研究種目
  
  総合研究(A)
- 研究分野
  
  数学一般
- 研究機関
  東京理科大学
   九州大学

すべて 2013 2012 2011 2010 2009 2008 2007 2006 2005 その他

すべて雑誌論文学会発表図書

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

1. 小田秀典 (40224240)

共同の研究課題数: 9件

共同の研究成果数: 0件
2. 辻井芳樹 (90065871)

共同の研究課題数: 7件

共同の研究成果数: 50件
3. 林晋 (40156443)

共同の研究課題数: 7件

共同の研究成果数: 4件
4. 森隆一 (00065880)

共同の研究課題数: 5件

共同の研究成果数: 50件
5. 秋山英三 (40317300)

共同の研究課題数: 4件

共同の研究成果数: 0件
6. 西森敏之 (50004487)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 細野雄三 (50008877)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 村瀬篤 (40157772)

共同の研究課題数: 3件

共同の研究成果数: 0件
9. 浪川幸彦 (20022676)

共同の研究課題数: 3件

共同の研究成果数: 0件
10. 根上生也 (40164652)

共同の研究課題数: 3件

共同の研究成果数: 0件
11. 小林聡 (70234820)

共同の研究課題数: 3件

共同の研究成果数: 0件
12. 上田完次 (50031133)

共同の研究課題数: 3件

共同の研究成果数: 0件
13. 本橋信義 (70015874)

共同の研究課題数: 3件

共同の研究成果数: 0件
14. 辻幹雄 (40065876)

共同の研究課題数: 3件

共同の研究成果数: 0件
15. 勝良昌司 (80065870)

共同の研究課題数: 2件

共同の研究成果数: 0件
16. 伊藤正美 (50065843)

共同の研究課題数: 2件

共同の研究成果数: 0件
17. 飯田善郎 (50273727)

共同の研究課題数: 2件

共同の研究成果数: 0件
18. 岩崎敦 (30380679)

共同の研究課題数: 2件

共同の研究成果数: 0件
19. 佐藤雅彦 (20027387)

共同の研究課題数: 2件

共同の研究成果数: 0件
20. 上江洲忠弘 (60015550)

共同の研究課題数: 2件

共同の研究成果数: 0件
21. 江田勝哉 (90015826)

共同の研究課題数: 2件

共同の研究成果数: 0件
22. 三宅正武 (70019496)

共同の研究課題数: 2件

共同の研究成果数: 0件
23. 北原和夫 (20107692)

共同の研究課題数: 2件

共同の研究成果数: 0件
24. 村田博 (20033897)

共同の研究課題数: 2件

共同の研究成果数: 0件
25. 鷲原雅子 (40065800)

共同の研究課題数: 2件

共同の研究成果数: 0件
26. 田村直之 (60207248)

共同の研究課題数: 2件

共同の研究成果数: 0件
27. 立木秀樹 (10211377)

共同の研究課題数: 2件

共同の研究成果数: 0件
28. 中神恵子 (60065836)

共同の研究課題数: 2件

共同の研究成果数: 0件
29. 水原亮 (30065776)

共同の研究課題数: 2件

共同の研究成果数: 0件
30. 戸瀬信之 (00183492)

共同の研究課題数: 2件

共同の研究成果数: 0件
31. 北村隆一 (60252467)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 横尾真 (20380678)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 井寄幸平 (70435048)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 小川一仁 (50405487)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 西野成昭 (90401299)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 坪井明人 (30180045)

共同の研究課題数: 1件

共同の研究成果数: 0件
37. 角田譲 (50031365)

共同の研究課題数: 1件

共同の研究成果数: 0件
38. 釜江哲朗 (80047258)

共同の研究課題数: 1件

共同の研究成果数: 0件
39. 加茂静夫 (30128764)

共同の研究課題数: 1件

共同の研究成果数: 0件
40. 小野寛晰 (90055319)

共同の研究課題数: 1件

共同の研究成果数: 0件
41. 西村和雄 (60145654)

共同の研究課題数: 1件

共同の研究成果数: 0件
42. 石田久 (10103714)

共同の研究課題数: 1件

共同の研究成果数: 0件
43. 吉川敦 (80001866)

共同の研究課題数: 1件

共同の研究成果数: 0件
44. 三好博之 (60286135)

共同の研究課題数: 1件

共同の研究成果数: 0件
45. 山田修司 (30192404)

共同の研究課題数: 1件

共同の研究成果数: 0件
46. 白井古希男 (70077915)

共同の研究課題数: 1件

共同の研究成果数: 0件
47. 梅沢敏郎 (40021919)

共同の研究課題数: 1件

共同の研究成果数: 0件
48. 西村敏男 (00015471)

共同の研究課題数: 1件

共同の研究成果数: 0件
49. 藤井宏 (90065839)

共同の研究課題数: 1件

共同の研究成果数: 0件
50. 正岡弘照 (30219315)

共同の研究課題数: 1件

共同の研究成果数: 0件
51. 福井和彦 (30065883)

共同の研究課題数: 1件

共同の研究成果数: 0件
52. 馬場靖憲 (80238229)

共同の研究課題数: 1件

共同の研究成果数: 0件
53. 藤井信忠 (80332758)

共同の研究課題数: 1件

共同の研究成果数: 0件
54. 篠田寿一 (30022685)

共同の研究課題数: 1件

共同の研究成果数: 0件
55. 田中一之 (70188291)

共同の研究課題数: 1件

共同の研究成果数: 0件
56. 高橋譲嗣 (30197149)

共同の研究課題数: 1件

共同の研究成果数: 0件
57. 渡辺信 (70240489)

共同の研究課題数: 1件

共同の研究成果数: 0件
58. 小林亮一 (20162034)

共同の研究課題数: 1件

共同の研究成果数: 0件
59. 赤間陽二 (30272454)

共同の研究課題数: 1件

共同の研究成果数: 0件
60. 高橋大輔 (50188025)

共同の研究課題数: 1件

共同の研究成果数: 0件
61. 石原哉 (10211046)

共同の研究課題数: 1件

共同の研究成果数: 0件
62. 山本章博 (30230535)

共同の研究課題数: 1件

共同の研究成果数: 0件
63. 西條辰義 (20205628)

共同の研究課題数: 1件

共同の研究成果数: 0件
64. 山崎武 (30336812)

共同の研究課題数: 1件

共同の研究成果数: 0件
65. 難波完爾 (40015524)

共同の研究課題数: 1件

共同の研究成果数: 0件

八杉 満利子 YASUGI Mariko

八杉 満利仔 ヤスギ マリコ

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

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算可能性問題における極限再帰関数の役割の多角的研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

極限計算可能数学の計算機上の実行研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

不連続関数の計算可能性-そのパラダイムを目指して-研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

連続体上の計算可能性問題の多角的研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ゲーム理論の論理化とその計算機実験研究代表者

研究代表者

研究期間 (年度)

研究種目

八杉満利子 YASUGI Mariko

八杉満利仔ヤスギマリコ

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