Updated on 2023/04/17

写真a

 
Kada Masaru
 
Organization
Graduate School of Science Department of Mathematics Associate Professor
School of Science Department of Mathematics
Title
Associate Professor
Affiliation
Institute of Science
Affiliation campus
Nakamozu Campus

Position

  • Graduate School of Science Department of Mathematics 

    Associate Professor  2022.04 - Now

  • School of Science Department of Mathematics 

    Associate Professor  2022.04 - Now

Degree

  • Ph.D. in Science ( Others ) (   Osaka Prefecture University )

  • 修士(理学) ( University of Tsukuba )

Research Areas

  • Natural Science / Applied mathematics and statistics  / Axiomatic Set Theory

  • Natural Science / Basic mathematics  / Axiomatic Set Theory

Research Interests

  • 連続関数

  • 距離化可能空間

  • 記述集合論

  • 無限ゲーム

  • 測度代数

  • 数学基礎論

  • 強制法

  • 強制公理

  • 巨大基数公理

  • 実数値可測基数

  • 完備ブール代数

  • 基数不変量

  • 国際情報交換

  • 可測基数

  • 反映原理

  • 公理的集合論

  • 位相空間論

  • ルベーク測度

  • リンデレーフ空間

  • コンパクト化

  • Ρ(ω)

  • weak Freese-Nation property

  • Stone-Cechコンパクト化

  • Solovay model

  • random実数

  • Open Coloring Axiom

  • null sets

  • meager sets

  • iterated forcing

  • Hechlerの定理

  • Galois-Tukey connection

  • forcing axioms

  • Cohen models

  • Cohen model

  • Cichonの図式

Research subject summary

  • 集合論的位相空間論

  • 実数の集合論

Research Career

  • set theory of the reals

    cardinal invariant, forcing, infinitary combinatorics  Individual

  • Set-Theoretic Topology

    compactification, metrizable space, Lindelof space, forcing, infinitary combinatorics 

Professional Memberships

  • Mathematical Society of Japan

    2003.04 - Now   Domestic

Committee Memberships (off-campus)

  • 阪神支部評議員   日本数学会  

    2023.03 - Now 

Job Career (off-campus)

  • Osaka Metropolitan University

    2022.04 - Now

  • Osaka Prefecture University   Graduate School of Science

    2012.04 - 2022.03

Papers

  • Strategic equivalence among hat puzzles of various protocols with many colors Reviewed

    Masaru Kada, Souji Shizuma

    Mathematical Logic Quarterly   66 ( 3 )   295 - 299   2020.09( ISSN:0942-5616

     More details

    Authorship:Corresponding author   Publishing type:Research paper (scientific journal)   Kind of work:Single Work   International / domestic magazine:International journal  

    DOI: 10.1002/malq.201900069

    Other URL: https://onlinelibrary.wiley.com/doi/full-xml/10.1002/malq.201900069

  • Devil's infinite chessboard puzzle under a weaker choice principle (Set Theory and Infinity)

    RIMS Kokyuroku   2164   92 - 96   2020.07( ISSN:18802818

     More details

    Authorship:Corresponding author   Publishing type:Research paper (bulletin of university, research institution)   Kind of work:Joint Work   International / domestic magazine:Domestic journal  

  • Variants of AC under ZF minus union

    M. Kada and T. Kato

    RIMS Kokyuroku   1988   31 - 42   2016.04

     More details

    Kind of work:Joint Work  

  • Some remarks on infinite hat guessing games

    M. Kada and S. Shizuma

    RIMS Kokyuroku   1988   43 - 54   2016.04

     More details

    Kind of work:Joint Work  

  • Preservation of convergence of a sequence to a set Reviewed

    A. Iwasa, M. Kada and S. Kamo

    Topology Proceedings 雑誌   44   97 - 105   2014.04

     More details

    Kind of work:Joint Work  

  • Galois-Tukey connection involving sets of metrics Reviewed

    M. Kada and Y. Yoshinobu

    Tsukuba Journal of Mathematics 雑誌   36 ( 1 )   53 - 66   2012.04

     More details

    Kind of work:Joint Work  

  • Preserving the Lindelof property under forcing extensions Reviewed

    M. Kada

    Topology Proceedings 雑誌 Auburn Univeristy   38   237 - 251   2011.01

     More details

    Kind of work:Single Work  

  • How many miles to beta-X? II --- Approximations to beta-X versus cofinal types of sets of metrics Reviewed

    M. Kada

    Topology and its Applications 雑誌 Elsevier   157   1460 - 1464   2010.01

     More details

    Kind of work:Single Work  

  • How many miles to beta-omega? II --- Ultrafilters and Higson compactifications Reviewed

    M. Kada

    Topology Proceedings 雑誌 Auburn Univeristy   33   123 - 129   2009.01

     More details

    Kind of work:Single Work  

  • The efficiency of quantum identity testing of multiple states Reviewed

    M. Kada, H. Nishimura and T. Yamakami

    Journal of Physics A: Mathematical and Theoretical 雑誌 Institute of Physics   41   2008.09

     More details

    Kind of work:Joint Work  

  • Covering a bounded set of functions by an increasing chain of slaloms Reviewed

    M. Kada

    Topology and its Applications 雑誌 Elsevier   154 ( 1 )   277 - 281   2007.01

     More details

    Kind of work:Single Work  

  • How many miles to beta-X? --- d miles, or just one foot Reviewed

    M. Kada, K. Tomoyasu and Y. Yoshinobu

    Topology and its Applications 雑誌 Elsevier   153 ( 17 )   3313 - 3319   2006.11

     More details

    Kind of work:Joint Work  

▼display all

Books and Other Publications

  • H.B. Enderton: A Mathematical Introduction to Logic (Japanese translation)

    Masaru Kada( Role: Sole translator)

    2020.11  ( ISBN: 978-4907259167

     More details

    Total pages:508   Book type:Textbook, survey, introduction Participation form:First Author

  • 論理と集合から始める数学の基礎

    嘉田 勝( Role: Sole author)

    日本評論社  2008.12  ( ISBN:978-4-535-78472-7

MISC

  • 集合算の証明って何をすればいいの? 図を描くだけじゃダメなの? International journal

    嘉田勝

    数学セミナー増刊 大学数学の質問箱   2019.06

     More details

    Authorship:Corresponding author   Publishing type:Article, review, commentary, editorial, etc. (trade magazine, newspaper, online media)   Kind of work:Single Work   International / domestic magazine:Domestic journal  

Outline of collaborative research (seeds)

  • 数理論理学と論理の教育

     More details

    数理論理学の知見に基づく,高校および大学の数学教育における数学の論理の教育方法の確立

Charge of on-campus class subject

  • Calculus I

    2021    

  • Linear Algebra II

    2021    

  • Mathematical Logic

    2021    

  • Advanced Lecture : mathematical logic

    2021    

  • Mathematics I

    2021    

Charge of off-campus class subject

  • 集合と論理

    Institution:Osaka Prefecture University

  • 論理学

  • 数理論理学

    Institution:Osaka Prefecture University

Visiting Lectures ⇒ Link to the list of Visiting Lectures

  • 真偽を決定できない数学的主張 数学の証明能力の限界の研究

    Category:Literature (literature, philosophy, history, art, human behavior, language, culture, society / gender), Science (mathematics, physics, chemistry, biology, geology, biochemistry)

     More details

    Audience:Junior high school students, High school students, College students, Teachers, Researchers, General, Company, Civic organization

    Keyword:数学基礎論, 集合論, 連続体仮説 

    みなさんは,数学の問題はすべて○か×かが決まっていると思っていませんか? 実は,数学の世界には,○か×か,すなわち成り立つか成り立たないかを決められない問題がたくさんあるのです。「決められない」とは,「まだわかっていない」のではなく「数学の証明能力の限界を超えた問題であることが判明している」という意味です! この講義では,「実数はどのぐらい『たくさん』存在するか」という問題を中心に,数学の証明能力の限界に関する数学的研究(公理的集合論)の一端を紹介します。

  • パズルとゲームで学ぶ情報科学 コンピュータを使わない情報教育 アンプラグドコンピュータサイエンス

    Category:Science (mathematics, physics, chemistry, biology, geology, biochemistry), Engineering (machinery, electronics / physics, electrical / electronics, electrical information, chemical biotechnology, architecture, cities (civil engineering / environment), material chemistry, aerospace, marine systems, applied chemistry, chemistry, materials)

     More details

    Audience:Schoolchildren, Junior high school students, High school students, College students, Teachers, Researchers, General, Company, Civic organization

    Keyword:情報科学, 情報教育, コンピュータ, アルゴリズム 

    パズルやゲームを使って,コンピュータのしくみを楽しく学びましょう! ニュージーランドの情報科学研究者ティム・ベル博士が考案した「アンプラグドコンピュータサイエンス」は,パズルやゲームなどの活動を通じて,コンピュータの基本原理を小学生でも大人でもわかりやすく学べる,体験型の情報科学教育メソッドです。この講義では,アンプラグドコンピュータサイエンスの学習活動のいくつかを紹介し,受講生の方々に実際に学習活動を体験していただきます。

Foreigner acceptance

  • 2019

    foreigners accepted :1

    International Students :0