オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
テストを書くこととテストをすることの違い - 未来のいつか/hyoshiokの日記
会社でレガシーコード改善ガイドの読書会をやっていて、次回で読了だ。4月に入ってから週に1回くらいのペースでやっていて、2ヶ月半くらいかかった。途中、ゴールデンウィークや所用で開催しないこともあったので、１０回くらいで完走したことになる。 一人当たり、1章ないし2章くらいを担当して、その章に書いてあることを説明した後にみんなであーだこーだ議論をする。気になったことを質問したり、どうも良く分からないことをみんなで考えたりする。 テストがないコードはレガシーコードだ！というキャッチフレーズはわたしの心をとらえた。 参加者の皆さんとその価値観を共有できた事はうれしい。 現場での開発の実情をいろいろ教えてもらった。テストを書くことはあまり一般的ではないということにわたしは衝撃を覚えたのであるが、この読書会を通じて、テストを書かない開発というのがレガシーコードを作っている事に他ならないという共通の認識
製造業で入社6年目の社員です．担当していたプロジェクトの撤退が決まりましたが，その報告を役員に行わなければならないのですが，どうすればいいか悩んでいま…
製造業で入社6年目の社員です．担当していたプロジェクトの撤退が決まりましたが，その報告を役員に行わなければならないのですが，どうすればいいか悩んでいます．参考になるサイトや書籍，あるいはアドバイスがあれば教えてください． 以下，もう少し具体的な状況を書きます．プロジェクト撤退に至った理由は，PJリーダーのマネジメントの問題，担当者の能力の問題，どちらもあると思っています．しかし，PJリーダーがPJから逃げてしまい，一切責任をとってくれません．ですので私があらゆる説明をしなくてはいけなくなっています．一歩間違えれば，私が全面的に悪かったことになりかねません．しかし，逃げたリーダーに責任をなすりつけようとしても，自分に刃が返ってくることになりかねないと感じています． 以上，すみませんがよろしくお願いします．
【レポート】2年でゼロから200万ユーザー、Dropbox創業者のスタートアップ成功術 | ネット | マイコミジャーナル
Web 2.0 Expoで「Dropbox」共同創業者のDrew Houston氏(CEO)と「Xobni」共同創業者のAdam Smith氏(CTO)が共同で「ゼロから100万ユーザー達成まで」という講演を行った。Dropboxはオンラインストレージを用いたファイル同期/共有サービス、XobniはOutlookの検索プラグインだ。今は異なる市場のスタートアップを率いている2人だが、実はマサチューセッツ工科大の同級生で、2人ともエンジニアであり、そして2人ともマーケティングのバックグラウンドを持たない。それなのに、どちらも2年で200万ユーザー突破という成功を収めているから、スタートアップ成功術のスピーカーとして招待された。 Dropbox共同創業者のDrew Houston氏(左)とXobni共同創業者のAdam Smith氏 この部屋から2人のスタートアップ成功者が誕生した 最初に2人
開脚や前屈もできる？身体を柔らかくするストレッチを集めてみた - はてなニュース
「立った状態で床に手がつかない」など、“身体が硬い”とお悩みの方はいませんか？体操選手やバレリーナのようにはいかなくても、身体にある程度の柔軟性があれば、肩こりや腰痛といった身体の悩みを改善したり、運動の際のケガを防ぐことができます。今回は、「自宅でも手軽にできるストレッチ（柔軟体操）」をご紹介します。 ■身体が柔らかいとどんなメリットがある？ 身体を柔らかくすると、一体どんな面で役に立つのでしょうか？まずはそのメリットから見ていきましょう。 ▽ストレッチ（柔軟体操）の基礎知識 こちらのエントリーでは、ストレッチ（柔軟体操）をするメリットとして、次の3点を挙げています。 若さを保つ。 運動時のケガを予防する。 血液循環を促進し、脂肪を燃焼する。 年をとると運動をしなくなるため、関節の可動領域が狭くなってどんどん身体が硬くなり、さらに老化を進めてしまいますが、ストレッチを行うことでこれを改善
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
