オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
コンサルの基礎知識 from 2chコンサルスレ
A.T.Kearny A.T.カーニー Abeam Consulting アビームコンサルティング Accenture アクセンチュア Arthur.D.Little アーサー・Ｄ・リトル Bain & Company ベイン＆カンパニー BayCurrent Consulting ベイカレント・コンサルティング Booz Allen Hamilton ブーズアレンハミルトン Boston Consulting Group ボストンコンサルティンググループ Corporate Directions コーポレートディレクションズ Daiwa Institute of Research 大和総研 Deloitte Tohmatsu Consulting デロイトトーマツコンサルティング Deloitte/ Tohmatsu Tax 税理士法人トーマツ 移転価格コンサルティンググループ Drea
JavaScript初級者から中級者になろう — uhyohyo.net
このページの最終更新日：2019年7月4日 JavaScript。主にWebページを作るのに使われるほか、現在ではさまざまなところで活躍しているプログラミング言語です。 このページはJavaScriptの中級講座です。最新鋭ではないかもしれませんが、読み進めれば大抵のものを自分で作れるようになることでしょう。 言い訳とJavaScriptの歴史 / 問い合わせ 最近の更新2017/10/05 全ページを手直ししました。十六章第六回を追加。2017/11/9 十六章第二十一回・十六章第二十二回を追加。2017/12/2 十七章第三回・十七章第四回を追加。2017/12/3 十七章第五回・十七章第六回・十七章第七回を追加。概要コンテンツは第一篇と第二篇に分かれています。 JavaScriptは昔からWebページに動きを与えるものとして用いられてきましたが、第一篇ではそのような、昔からあるJav
【教養】もっと早く読んどきゃよかったという本 - 痛い信者(ﾉ∀`)
2：名無しさん＠涙目です。(埼玉県)：2011/04/06(水) 21:33:25.67 ID:r7BIR4zK0 LO 14：名無しさん＠涙目です。(チベット自治区)：2011/04/06(水) 21:36:13.61 ID:VvhFK8lN0 >>2がLOかよ ニュー速酷すぎる 328：名無しさん＠涙目です。(埼玉県)：2011/04/06(水) 23:22:59.52 ID:LkdMwjHZ0 >>2で終わってた 9：名無しさん＠涙目です。(京都府)：2011/04/06(水) 21:35:13.79 ID:JDnfPJNY0 吉川英治「宮本武蔵」 37：名無しさん＠涙目です。(dion軍)：2011/04/06(水) 21:40:07.94 ID:+2nh7tYG0 思考の整理学 大学への数学 宮脇俊郎のらくらく理論ゼミナール 46：名無しさん＠涙目です
WisdomSoft
WisdomSoft（旧） このサイトはすでに運用を停止しています。 新しいコンテンツはこちらをご覧ください ■Products■ 書籍 ソフトウェア 読本C 読本Java Javaアプリケーション作成講座 Windowsゲームプログラミング ゲームエンジン プログラミング C#ゲームプログラミング Cisqua Developers Network プログラミング システムとAPI C言語入門 C++入門 C#入門 D言語入門 Java言語入門 Objective-C入門 Lisp入門 Perl入門 PHP入門 アセンブリ言語入門 Win32 API入門 標準 Windows API コモンコントロール マルチメディア API Windows ソケット JavaAPI入門 AWT入門 Swing入門 ネットワーク入門 Microsoft .NET入門 DirectX入門 OpenGL入門
約700項目のHTML／スクリプト言語リファレンスを公開
日経LinuxとITproは、総計約700項目のHTML／スクリプト言語リファレンスを公開しました。「HTML」（295項目）、「CSS」（73項目）、「Dynamic HTML」（98項目）、「JavaScript」（295項目）、「Perl」（125項目）あわせて698項目。各項目にサンプルコードを掲載しており、コピーし貼り付けてすぐにお使いいただけます。JavaScriptは「この用例を実行する」という文字をクリックすれば、その場でサンプルコードを実行してみることもできます。 ファンレンスを使いこなすための記事や、「JavaScript入門」「Perlの使い方入門」「CSSの基本」「Linuxコマンド道場」「シェル・スクリプト工房」といった入門記事もご用意しました。 これらのリファレンスはここ2～3年かけて作成してきたものです。そのため一部に内容の古いものもありますが、順次更新してい
ネットで引ける世界の百科事典（up-dateしました）
［日本］ ◎コトバンク https://kotobank.jp 朝日新聞、朝日新聞出版、講談社、小学館などの辞書から、用語を一度に検索できるサービス。 百科事典では『ブリタニカ国際大百科事典 小項目事典』『百科事典マイペディア』『世界大百科事典』『日本大百科全書』、他に人名辞典（デジタル版 日本人名大辞典+Plus｜講談社、朝日日本歴史人物事典｜（株）朝日新聞出版など）や現代用語（知恵蔵｜（株）朝日新聞出版）などを横断検索できる。 ●《和漢三才図会》（1715） 医師であった寺島良安が、明の王圻の『三才図会』の形式により全体を96類に分類した図説。伝説を信ぜず、合理的、実証的で、異説も注記しており、現代にも通用する。 （引ける訳ではないが、「九州大学デジタルライブラリー」で見ることはできる。http://record.museum.kyushu-u.ac.jp/wakan/） ●《古事類苑
電源のあるカフェを検索するサイトまとめ | ライフハッカー・ジャパン
日本で仕事するのに最適なカフェは、ルノアールかもしれません。 先日、スタバをオフィスにするコツを紹介したところ、賛否両論のコメントが寄せられました。店舗面積や店舗の数など、海外と日本とではカフェ事情が違うので無理もない話です。 さて、カフェでPCを使って仕事しようとする際に、もっとも重要となるのは、そう、電源です。新品ノートPCならいざしらず、せっかく上がった仕事の処理スピードを、へたり気味の充電池がシャットダウンさせてしまうことも。 そこで、電源の有無を基準にカフェを検索できるサービスをまとめてみましたので、以下にてご紹介。 ■Hack Space エリアはもちろん、電源・ソファ・深夜営業の有無でカフェを検索できます。登録数は、電源のあるカフェで137件でした。対象地域は都内が中心。 ■バッテリーオアシス 全国の電源ありカフェを、地域ごとに一覧で表示できます。ファーストフード、漫画喫茶が
よりよい学びを実現するためのコツを抽出・記述した「学習パターン」(Learning Patterns) に関するブログ「Learning Patterns」
本サイトでは、ラーニング・パターンの考え方や個々のラーニング・パターンについて紹介します。 ラーニング・パターンは、自律的で創造的な学び方のコツをパターン・ランゲージという形式でまとめたものです。どのような状況でどのような問題が生じやすく、それをどのように解決すればよいのかの発想がまとめられています。このようなコツを「言語」として共有することで、個人の自律的で創造的な学びの支援と、学びのコミュニティの活性化を目指しています。 ラーニング・パターンは、2009年4月から毎年、慶應義塾大学総合政策学部・環境情報学部の全学生（一学年約900人）に配布されているほか、本ウェブサイトやtwitter等で、幅広い世代の方に広まりつつあります。ぜひご活用ください。 ラーニング・パターン（Learning Patterns）のtwitter配信をしています！ よりよい学びのコツを記述した「ラーニング・パタ
CSS+HTMLのみで実装出来る、クロスブラウザ対応のWebデザインテクニック集 - かちびと.net
cssとHTMLタグのマークアップ のみで実装出来るテクニック集 です。クロスブラウザ対応のみ をcss-playから探したので、 ついでにご紹介します。 jsが使えない環境でデザインする機会があったのでメモがてらエントリー。css-playを中心に、あとはググったりSBMで探したり。マークアップはリンク先をご確認下さい。css-playはソースを。 シンプルなドロップダウンメニュー シンプルなドロップダウンメニューです。マルチレベルのメニューも可能。 demo 縦並びのフライアウトメニュー 横に出るフライアウトタイプ。画像を使用しています。 demo クロスブラウザ対応のグラデーション webkit系でもmozでもIEでもcssのみでグラデーションを実装。 Cross-Browser CSS Gradient ハック、テーブルも使用しないドロップダウンメニュー シンプルなドロップダウンメ
「口蹄疫における政府批判に対する雑感」の補遺
口蹄疫における政府批判に対する雑感 http://togetter.com/li/22043 のコメント欄で、@__pon_氏に対して@y_arimが投げかけた質問への返答、およびその前に#kouteiekiなどで@__pon_氏がつぶやいていた内容を掲載。 @y_arimのツイートはTogetterのURLにより途中で省略されてしまっているが、全文はそれぞれ次の通り（このとき、@__pon_氏のそれ以前のつぶやきは未見）。 「.@__pon_ 「感染症に際してスタンドプレイは絶対にすべきではない」をもう少し詳しく知りたいです。//それとは別に、こういうときには「暴れん坊将軍」が事態を一気に収拾してくれることへの願望が生じるのかもと思った。」 続きを読む
公式資料等から見る今回の国・県・自治体の口蹄疫対策の流れ - sincerely my thought
農林水産省、防衛省の資料より、分かるところまで国の口蹄疫対策の流れをなるべく詳細に掲載。 本記事を元に、国の対応について、実際に問題があったのかどうか。問題がある部分があるとしたら具体的にどの時点で、どういった対応をしていればよかったのか等、皆様から指摘を頂き、冷静に問題を整理していけたら幸いと思っております。また、県の対応等についても、何か意見があれば指摘をお願い致します。県の対応については、下記HPを参考にしてください。 http://www.pref.miyazaki.lg.jp/contents/org/nosei/chikusan/miyazakicow/h22koutei_press.html 5月17日追記：補足情報（児湯郡川南町、えびの市の対策について等） 児湯郡川南町のHPでは、擬似患畜の確認状況に関する情報提供があるくらいで、対策についての情報は確認できませんでした。県
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
賢者の就活
Oskweb.com
Web高速化 || パフォーマンスチューニングBlog: インターオフィス
e-politics
青空文庫で読める日本古典SF
安くて簡単で美味しい自炊料理教えろ : VIPPERな俺
口蹄疫における政府批判に対する雑感
【議論】奥村弁護士VSアグネス－個人法益と社会法益