順序対の定義。 結構きつかったのでコメントもなしにガリガリ書いていた。もっときれいなやり方があるはず。 順序対の定義と性質 相変わらず、ComprehensionとかReplacementは先送りにしていますがどうなることか。

コメントなしコードだけ。 0 /= { 0 } の証明が一応出来ました。 ZFCカッコ仮

今度はソフトウェアの基礎の演習問題. gist9c82a2ca96660cc64a87 cf. ソフトウェアの基礎 rewriteするときに, 右分配律mulSnrを使っています。 ------>> Ssreflect.ssrnatのMultiplication.にあるLemmaから. 牛刀振り回してる感じありますが、一応証明です。

ssrboolの練習。とりあえずソフトウェアの基礎とか見ながらやってます。 ssreflectっぽくないですが、そのうちrewriteとかガリガリ使っていきたいです。 gist31a74ec01b8961c4f506

覚書です hoge.htmlからhtmlへのリンクファイル一覧を取り出すコード $htm = cat hoge.html -Raw -Encoding UTF8 $regex = "<\s*a\s*[^>]*?href\s*=\s*[`"']*([^`"'>]+)[^>]*?>" $pat = $htm | select-string -pattern $regex -AllMatches $pat.matches | %{…

毎々お世話になっております。 修論:"Rigid ω_1 Trees and Their Preservation" です、ご確認頂きたく。 と冗談はほどほどにしまして、修論です。 コピペはしてないです。あと英語が残念な点に関しては勘弁下さい。 あと、修論書いたあとに気付いた、という…

なんか最近mathoverflowの更新が少ないんだが 大学関係者はこの時期忙しい仮説． それは別として math.stackexchange のほうにいつぞや気になっていた質問投げました． About generically Knaster property 解答絶賛募集中なので知ってる人はなんかお願いし…

本日のmathoverflow案件 これについて． Question: In different books one can find different implicit definitions for a large cardinal axiom. My question is that which one of these definitions are more popular or standard amongst set theorist…

最近こんなことしかやってないな 本日のmathoverflow案件，をいこうとしたが，解答が来る前に質問者が自己解決してしまったのかどうかとにかくよくは知らないが，質問自体が引っ込められていてリンクを貼ることもできない． とんでもなくフラストレーション…

さっそくですが参戦しました。 Preservation of some stationary sets by sufficiently closed forcing そんなことしてる暇あったら修論やれ

本日のmathoverflow案件 Can a Suslin line be 2-entangled? Dear J. D. Hamkins先生……… ここに書いてある定理、わたしの完成間近の修論に書いてるやつです。 いやもうちょっと丁寧にやったのでここまで簡単に証明はできていませんが、 修論の主定理にかなり…

あれだ。面倒なのでコードだけ乗っける #!/bin/bash DATE=$(date +%F) WORKDIR=./ ARCHIVE=${WORKDIR}/archives LOGFILE=${ARCHIVE}/.log function archive_less { TIME="" while : do echo -n "When the article written?([ENTER] to display list): "; rea…

圏論やってると米田さんにお世話になる機会も多いと思うが， イマイチ意味も使い方も分からんいう僕みたいな人向けの記事です． 記事を書くにあたって，主に 圏論番外：米田の補題の周辺から(via 檜山檜山正幸のキマイラ飼育記) や， MathAdventCalenderの12…

連投です． 某H社のtex記法がアレなのでGoogle Chart APIを使っているのですが， 直に打つのは面倒なので，latexの$$←こいつで挟んだ記法からGoogle Chartのイメージを取ってくるhtmlに変換するｽｸﾘﾌﾟﾖを書いていたわけです． まあgauche使います． いい入出…

本日(昨日)のmathoverflow案件: Increasing and Descending Chains of Inner Models for Measurable Cardinals初見で(b)がわかったのでtwitterの鍵垢に書いたんだけど，一応ここにも書く． ただ時間的にその直後にHamkins先生のよりgeneralな回答が載ってい…

コミケで薄い本"The dark side of Forcing II"のなかの一つの記事10pagesくらいを担当しました。 内容は、KunenのInconsistencyの定理についてです。 Reinhardt基数のことについて書いたのです。 ラインハルト基数。 でも書籍中ではリインちゃんと読んでいま…

いいかげん乳離れならぬGauche離れをしたいと思っていたので。Geiserと呼ばれるパッケージを使うのが楽です。 Emacs で package-install して持ってきます。 (詳しくはこことかに載っています) 使うrepoはmelpaで、emacs上で [M-x] package-refresh-contents…