オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
論文の書き方
論文の書き方 1997年1月 論文の書き方 １．論文書きの手順 (1)論旨の組み立て (2)アウトライン 「はじめに」の書き方 「問題意識」の書き方 「研究のアイデア」の書き方 「実験」の書き方 「まとめ」の書き方 ２．文章技術 トピックセンテンス 逆茂木型の文章 論理の鎖 例中心主義 ３．文章を書く心得 千葉 滋 (Shigeru Chiba)、東京大学
高橋マインド
高橋マインドは画期的なプレゼンソフトウェアです。高橋メソッドという迫力あるプレゼン手法のスライドを、マインドマップという技法により簡単に作成するものです。 [特徴] 素早い！ 伝わる！ 誰でも簡単！ 「急にプレゼンや講演を頼まれちゃって、準備する暇がない」 「とにかく人前で話すのは苦手だ！ いつもあがってしまう」 そんな方にぴったりのプレゼン手法です！ すぐに準備できて、緊張しにくい！ そんな夢のプレゼン手法があったのです！ スライドにあわせて適当に喋るだけ。スライドを作るのも簡単。あなたもこれでプレゼン上手！ ------> 使い方は簡単。 まずFreeMind (日本語説明ページ)というソフトウェアを使ってマインドマップを作成します。 そして下のファイル送信欄を使って、そのファイルを送信してください。すると画面に高橋メソッドのスライドが表示されます！ 表示されたスライドをクリックする
Let's Try ChangeLog Memo
日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。
FPN-ゼイヴェル・大浜史太郎社長へのインタビューを読んだ
2．ビジネスリサーチの情報収集 デスクトップ調査 の基本〜アニュアルレポートなど公開情報から… デスクトップ調査 とは、主にインターネットなどを使用して、公開情報を調査して整理・分析を行うものです。「CIAも収集する情報の95％が公開情報」ということで、情報不足とい… 2021.01.28 2021.05.13 1915 view コラム〜リサーチャーの日常 人生を通じてマッチクオリティーを追求する 知識の幅が最強の武器になる という本で初めて知った「 マッチクオリティー 」という言葉は、経済学の用語で、ある仕事をする人とその仕事がどれくらい合っているか、その人の能力… 2021.05.04 2021.05.13 295 view 2．ビジネスリサーチの情報収集 日常的な情報収集・整理術（Feedly＋Dropbox） 【 ビジネス 情報収集 と 情報整理 の基本 】いま目の前にあるリサー
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
東大で学んだ卒論の書き方★論文の書き方
403 Forbidden
