ゆうき まさみ @masyuuki 『おお振り』って対戦相手の描写が日常まで含めて過剰なんだけど、それが他にない面白さを生んでるんだよな。 2010-05-14 01:59:24
ゆうきまさみ・椎名高志・七月鏡一(＆平野耕太)諸氏による深夜のやりとりまとめ
ゆうき まさみ @masyuuki 『おお振り』って対戦相手の描写が日常まで含めて過剰なんだけど、それが他にない面白さを生んでるんだよな。 2010-05-14 01:59:24
Bassir.io | Bassir.io
Connecting founders with IP names to create brands shaping our tomorrow! Bassir.io premium domain name broker agency, we specialize in buying and selling premium domain names to help elevate your online presence. Our experienced team of brokers are dedicated to providing personalized service to ensure a smooth and successful transaction. Securing a premium domain name that reflects your brand to m
【レポート】『イヴの時間 劇場版』ロングラン・ヒット記念! 吉浦康裕監督がトークショーに登場 | ホビー | マイコミジャーナル
M@吉浦康裕監督 3月6日に公開をスタートした『イヴの時間 劇場版』。そのロングランヒットを記念したイベント「『イヴの時間 劇場版』ロングラン･ヒット記念! GW・満喫トークショー!」が4月29日、池袋テアトルダイヤにて開催され、吉浦康裕監督が登場した。 上映終了後、満員の観客が待ちわびる中、吉浦監督が登場。「夜遅くまでありがとうございます。先日30歳になった吉浦です。いきなりウォーキングを始めました(笑)」という挨拶からトークショーはスタートした。なお、吉浦監督の誕生日は大阪のテアトル梅田での初日舞台挨拶が行われた4月3日で、当日はシークレットで花束を贈られたとのこと。「何かあると思って、前日の夜からそわそわしていました(笑)」(吉浦監督)。 ゴールデンウィークに突入と言うことで、トークはまず「GWの過ごし方」について。ここ数年はずっと「イヴの時間」の制作に費やしたという吉浦監督だが、久
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
このエロゲがエロい！ - Something Orange