![]() ![]() |
![]() |
|
![]() |
||
![]() |
2025-05-30
空集合の公理が成り立つクラス
前回: 文字列変換ニューバージョン - kururu_goedel’s diary
型クラス
予告通り、集合論の公理を満たす型クラスを定義していく。
いやー、ハマったハマった。思ったより型クラスのところでは苦労しなかったのだけれども、証明がなかなか通らず通ってもグチャグチャだった。終わったあと頑張って整理したらマトモになってきたけど。本当は、空集
新刊通知
歴史小説
-西域古城
易中天
-大明宮詞
当年明月
二月河
2025-03-24
読書メモ:「覚える」と「わかる」
「覚える」と「わかる」 ──知の仕組みとその可能性 (ちくまプリマー新書)
作者:信原幸弘
筑摩書房
Amazon
ここのところの興味の一つ「知性とは何か」の系列で読んだ1冊。
何冊か並行して読んでいるが、新書なので風呂2回で読了。
第1章と第2章は私の問題意識にそった内容で特に目新しい部分は見当たらなかったが、すいすいと読めた。
第3章~第
新着記事を受け取る
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変更等をご
(非常口)