undercover+a RSS OPML

すべて | 図書室 | 美術室 | 音楽室 | 保健室 | 職員室

おとなりアンテナ | おすすめページ

  1. 2019/10/15 09:19:25 tnomuraのブログ tnomura9さん含むアンテナおとなりページ

    は集合 P を引数とし、集合 A を引数とする関数 λA.(P A) を返す高階関数である。これは集合と集合の関数適用を考えたときに、集合が型のないラムダ計算のなかに埋め込まれることを意味している。集合の述語は型のないラムダ計算の要素と考えることができるのだ。海里茲Δ暴弦腓僚匕譴砲茲言及が型なしラムダ計算世界表現できることが分かったので、集合の自己言及を型なしラムダ計算の枠組みで考えてみる。

  2. 2019/10/15 07:08:29 traveling with the ghost cha cha 2000さん含むアンテナおとなりページ

    Duo
    投稿者cha cha 2000時刻:11:34 PM5 コメント この投稿へのリンク

  3. 2019/10/13 10:22:04 ココロ社 kokoroshaさん含むアンテナおとなりページ

    ココロ社 (@kokorosha) | Twitter
    The latest Tweets from ココロ社 (@kokorosha). 「1日に2回くらいしかツイートしないので、フォローしてもタイムライン専有することがない」というのがウリの中年男性です。著書は『マイナス思考法講座』『モテる小説』など。ご連絡はDMにお願いできれば助かります。. 東京
    twitter.com
    ぐるなび みんなの

  4. 2019/10/12 22:45:50 もちもちてちやう もちもちおねいまんさん含むアンテナおとなりページ

    2019-10-12
    暴風
    こめびつにつや姫がある。土鍋ストーブもある。と喜んでいるいちちばけんみん。坂口安吾の風博士を読んだ。三回も読んでたいへん満足し、くったりと眠くなる。冷蔵庫たらこも、あるんだよ。
    川を見に行く




    motimoti3 2019-10-12 20:49
    暴風
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    暴風

  5. 2019/09/25 05:55:23 bee & flesh含むアンテナおとなりページ

    Flickr logo. If you click it, youll go home
    Sign Up
    Galleries
    FlickrBlog
    Prints
    Sign In
    by Toyokazu
    Bad, bad panda!Come on. We want photos.
    WeR17;re aware of the problem and are fixing it.
    Thanks

  6. 2019/09/10 02:23:05 平民新聞 heiminさん含むアンテナおとなりページ

    2019-09-10
    ズボン物語
    ズボンを買いにユニクロに行く。シーズンじゃないので安くなってないかと思ったのだが、そんな次元の話ではなく店内にはダウンが売られていて、半ズボンかいつの話だよ、みたいな感じだった。それはそれで仕方ないなと思ってスポーツ用品店へ。A社の短パンが定価5000円のやつが半額!2500円!みたいになっていてこれ得やん?得やん?みたいになって(それでも迷って)(40分く

  7. 2019/08/14 13:39:59 チカコブ アタシさん含むアンテナおとなりページ

    はてなダイアリー サービス終了のお知らせ
    平素より「はてなダイアリー」をご利用いただきありがとうございます
    2003年より提供しておりました「はてなダイアリー」は、2019年7月26日をもちまして、サービス提供を終了させていただきました。
    これまでご利用いただきましたユーザーの皆さまに深く感謝いたします。 誠にありがとうございました。
    また、後継のブログサービスとしてはてなブログ提供してお

  8. 2019/08/07 18:58:12 子供の頃から桶の底ぬけ okenosokonukeさん含むアンテナおとなりページ

    この広告は、90日以上更新していないブログに表示しています

  9. 2019/08/01 08:25:53 はやくブロガーになりたい含むアンテナおとなりページ

    この広告は、90日以上更新していないブログに表示しています

  10. 2019/07/30 07:38:20 Log of ROYGB ROYGBさん含むアンテナおとなりページ

    この広告は、90日以上更新していないブログに表示しています

  11. 2019/07/21 03:05:04 ELECTROCUTICA含むアンテナおとなりページ

    参加予定イベント
    2019.8.12(月) コミックマーケット96 南 ”サ” 08a-b

  12. 2019/05/14 14:07:48 英語授業工房 授業日誌 mits_ecさん含むアンテナおとなりページ

    スマートフォン用の表示で見る
    Forbidden
    https://mits-ec.hatenadiary.org/ は非公開に設定されています
    はてなブログ
    はてなブログとは
    はてなブログPro
    アプリ
    テーマ ストア
    旬のトピック
    グループ
    著名人ブログ
    はてなブログの目指す場所
    今週のお題
    機能変更・お知らせ・ヘルプ
    はてなブログ開発ブログ
    週刊はてなブログ
    ヘルプ
    障害情報
    お問い合わせ窓

  13. 2019/01/01 18:42:17 ヴリル協會 ヨヨギさん含むアンテナおとなりページ

    Copyright© 2019 ヴリル協會 All Rights Reserved.

  14. 2018/04/20 07:45:01 アナベル・フィステ 高原英理さん,秋里光彦さん,佐藤弓生さん含むアンテナおとなりページ

    404 Not Found: ページが見つかりません
    ▼【重要ホームページ開設者の方へ▼
    @homepage2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
    詳しくはこちらをご確認ください。
    @nifty top ウェブサイトの利用について | 個人情報保護ポリシー
    特定商取引法に基づく表示
    ©NIFTY Corp

  15. 2018/02/03 08:58:52 AVTechNO!含むアンテナおとなりページ

    403 Forbidden
    openresty

  16. 2016/11/25 19:08:53 二階堂奥歯 八本脚の蝶 二階堂奥歯含むアンテナおとなりページ

    ページ移転のお知らせ
    指定ホームページは下記のアドレスに移動しました。
    ブックマークなどの登録変更をお願いします。
    http://oquba.world.coocan.jp/
    10秒後に自動的移転先のページにジャンプします。

  17. 2013/08/28 07:46:07 悪漢と密偵含むアンテナおとなりページ

    2013/08/28
    [announce]
    悪漢と密偵の更新を無期限停止いたします。Twitterは続けていきますが、ある程度余裕ができるまでの間休養します。今までご贔屓を頂いていた方々には誠に申し訳ございません。そしてありがとうございます。
    時刻:7:15:000 件のコメント:
    ■■:ち