書評（数理論理学）
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
GD-高速道路ゴシックJA-OTF (GD-HighwayGothicJA-OTF) 高速道路の文字を再現しよう計画 5r4ce2[Fiber Force2] pumpCurry's Website - fontJunction at hogera.com
ぱんかれはいつも「なんかないかのう」とつぶやきます。 しかし、このワードをつぶやいているときは面白いモノを作るきっかけを探しています。 高速道路フォントを作り始める前にも「なんかないかのう」とつぶやいていました。 最近はコンビニエンスにいろいろなものが簡単に実現できるようになりました。 調べることも、遊ぶことも、作ることも、何か始めることでさえ、ネットにつなげることができればすぐ完結できてしまいます。 そんな世の中を受け入れつつも、他の方の「こんなのないかのう」を満たすような、なにか変わったものをつくりたい。 サイト名称「5r4ce2(ファイバーフォースツー)」は、Fiber(繊維のような)とForce(力)、この2つを組み合わせたものです。 みなさんと、がっしり結びつきながら、新たな方向性という「力」を、世に発信していければと考えています。 いっしょに、私たちと楽しんでみませんか？ 20
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
