尊みで飯が食えるスマートフォン用の表示で見る尊みで飯が食えるtwitterアカウントは@mg_toHKRです。萌え4コマまんがと特異基数がテーマのブログです2017-12-04から1日間の記事一覧2017-12-04Gitik-Sharonモデルについておはようございます。ゼミでGitik-Sharonモデルの紹介をして資料を作ったので公開しようかと。これからGitik-Sharonモデルを勉強したい!と思っている人が読むと「この話は一体どこの論文に載ってるんだ...」という時に参考になるかもしれません。www.dro...Gitik-Sharonモデルについてプロフィールid:mnsthkr96112無限組み合わせ論を面白がっている情報科学科の学生でしたが特異基数組合せ論を専攻する数学科の院生になりました。プロフ画像はB1のときに作った公理的集合論オムライスです。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。