![]() ![]() |
![]() |
|
![]() |
||
![]() |
新刊通知
設定集
長安三万里
封神:朝歌風雲
影神図
非人哉
電影《小倩》
アメリカ在住中年男性集合論者のブログ
2025-07-06
ZF完成+ソース公開
ZFの公理
公理は全部書けたと思ったら選択公理忘れてた。でもとにかく書けた+テストケースになりそうなことを一つずつはやったので満足。というわけで、ひとまず公開した。
https://github.com/ishiut/fo_zfc
一応、最低限のドキュメントは書いたつもりなのだけれども。この前も書いたけど、ソース公開
この広告は、90日以上更新していないブログに表示しています。
新着記事を受け取る
Red cat の数学よもやま話
読者になる
Marginal Leaves
読者になる
超弦理論解明への道
読者になる
勝手に将棋トピックス
読者になる
第2kame日記
読者になる
のほほんと、できたらいいな・・・
読者になる
お知らせ ヘッダメニューのデザインが新しくなりました! 今すぐあなたのブログでも試してみませんか?
薄々気づいていた。塩もみ。それが答えであると。
憧れキューカンバーサンドイッチで至福の朝食。きゅうりと和解した話
月曜日の朝食はサンドイッチにした。 さりげなく書いているがこれは、2024年のやりたいことリスト100のうち1つが達成された記念すべき瞬間であった。
Sweet+++ tea time
’);}//-->
404 Not Found
お探しのページは見つかりませんでした。
削除または非公開に設定されている可能性があります。
URLに誤りがないかもご確認ください。
トップページへ戻る
利用規約
プライバシーポリシー
広告掲載について
シーサーについて
スタッフ募集
お問い合わせ
Copyright © 2003 Seesaa Inc. All Rights Reserve
FAQ / お問い合わせ窓口
2010年04月21日
仕分け
また,はじまりますねー.
いろいろと問題は指摘されましたが,見えないところで話し合うより,見えるところで話す方がいい,と純朴に思っております.
仕分けの様子を読むと,前回は資料不足なのか,説明不足なのか,印象論にもとづいている部分も見受けられますが,それも含めて見えるのはいいことなんじゃないかと.
その結果,神経科学者SNSからの提言が出たように,オープンになってい
ガンダムになりたい。
〓〓〓〓〓〓0
〓〓〓〓〓〓0
〓〓〓〓〓〓0
May 2019
1234
567891011
12131415161718
19202122232425
262728293031
livedoor Blog
LINE BLOG
Blogger Alliance
404 Not Found
このページは存在しないか、すでに削除されています。
トップページ
戻る
新着記事
© LINE Corporation
3 すずめ 猫のすずめちゃん
4 Vedan... 武藤悦子のOver the ...
あるメッセージ
mika
本日もご訪問ありがとうございます昨日の夫の誕生日にブロ友さんからプレゼントを...
2
猫のゴハンの準備中は賑や...
病(FIP)と戦う陸ちゃ...
NPO法人ねこけん
冷たい雨に雪が混じって降り始めました。咲きかけた桜のつぼみも、再び硬く花弁を...
★↑ TeX 関連情報をご提供ください(ユーザ名・パスワードは左の赤色の文を参照).
■ ファイルが見つかりません。
Not Found
誤ったURLを入力された可能性があります。再度ご確認のうえURLをご入力ください。
Copyright 2008 NTT Plala Inc. All rights reserved.
【お知らせ】 2014年7月1日 更新
LOVELOGのサービス終了について
au one netのブログサービス 『LOVELOG』は2014年6月30日をもちまして提供を終了致しました。
永らくのご利用、誠にありがとうございました。
引き続きau one netをご愛顧いただきますよう、よろしくお願い申し上げます。
※お手数ではございますが、新ブログにて閲覧の皆さま向けにブログURL変更等をご
【お知らせ】 2014年7月1日 更新
LOVELOGのサービス終了について
au one netのブログサービス 『LOVELOG』は2014年6月30日をもちまして提供を終了致しました。
永らくのご利用、誠にありがとうございました。
引き続きau one netをご愛顧いただきますよう、よろしくお願い申し上げます。
※お手数ではございますが、新ブログにて閲覧の皆さま向けにブログURL変更等をご
【お知らせ】 2014年7月1日 更新
LOVELOGのサービス終了について
au one netのブログサービス 『LOVELOG』は2014年6月30日をもちまして提供を終了致しました。
永らくのご利用、誠にありがとうございました。
引き続きau one netをご愛顧いただきますよう、よろしくお願い申し上げます。
※お手数ではございますが、新ブログにて閲覧の皆さま向けにブログURL変更等をご
(非常口)