ツイッターで大学新入生にオススメの数学書を、ハッシュタグ #新入生に勧める数学書2018 で募集しました。 タグを作りました。皆さん、自由に語りましょう。 いろんな立場の人が選ぶことで、楽しいリストができると思います。#新入生に勧める数学書2018#新入生に勧める物理学書2018 分野、理由も併記するといいでしょう。分野は数学史や伝記などもok、幅広くいきましょう。— Loveブルバキ(ラブル) (@lovebourbaki) 2018年3月7日 皆さんのオススメの本を抜粋して紹介します。 はじめに 一般 微積分 線形代数 代数学(整数) 幾何 集合と位相 みなさんのアドバイス その他 参加してくださった皆様、ありがとうございました。 （ツイートの掲載は許可をとっています。了承していただいた皆さん、ありがとうございました。） はじめに こんな企画を始めたものの、知らない人が勧める本にすぐに

「ノンネイティブのための数学入門〜集合と写像〜」数学書では完全に前提知識になって言及もしてくれない(腹立つ)常識を、数学に興味はあるけどハードルが高くて…という非数学系のために愚痴とともにまとめました。というかほぼ愚痴です。苦しん… https://t.co/OGTxYb7doS

大学生活も終わりを迎えようとしているので、過去6年間の大学生活で勉強したことを大まかにまとめつつ振り返ろうと思います。 当時読んだ書籍に沿って書こうと思うので、タイトルを拾うことで僕と近しい進路の人が学ぶことの一例を垣間見えるかもしれません。 各本に付属する本文は思い出話で書評ではないので留意してください。 書籍は大学の講義に直接関係あるか、或いは専門である情報系の物とその周辺分野(機械学習に用いる数学/物理など)で、記憶にもある物に限定します。 オンラインリソースや論文などは基本的に割愛します。 また、情報系の書籍でもソフトスキル系の話は省きます。 繰り返しになりますが、この文章全体は広義の日記で、何かを薦めたり批評したりする意図はありません。 大学1年 所属は理科一類でした。 初めての一人暮らしやサークルなどに時間を取られ最初の数週間は講義から置いていかれがちだったことを覚えています。

いわゆる理情3年Sセメスターの振り返りです。 備忘録兼後輩の進振りの参考になればなぐらいの気持ちです。 まずは平和な講義たち（実験でないという意味）です。 全部二限にあって、どれも特に出席は取られないです（あっても単位救済用のようです）。 オペレーティングシステム(月2) OSの仕組みなどについて学ぶ講義です。スライドが配布されます。 同期の取り方やスケジューリングのやり方などについての話を聞きます。 テスト勉強をすれば単位が来るはずです。 離散数学(火2) 離散数学について学ぶ講義です。板書しかないです。 双対性が全体のテーマで（おそらく）、グラフの基本的な性質から始まり、フローや線形計画問題、マトロイドなどの話を聞きます。 演習（後述）と内容は割とかぶっているのでそれをやっていればヤバいことにはならないはずです（多分）。 情報論理(水2) 情報論理について学ぶ講義です。教科書が英語..

なんとなくまとめてしまった。簡単な復習です。忘れないうちに。 全体としては、理情の授業は「コンピュータのシステムや"計算"という概念をあらゆるレイヤーで理解する」ことを目的に組まれているような感じで、「何かを作る」とか「何かを解く」というよりも「コンピュータ」とか「計算という概念」そのものが好きという人向けという感じがある（ので僕はとても好き）。まぁコンピュータ・サイエンスっていうのはそういうものなんだろうか。 課題そのもののネタバレは無いはず（多分）。 実験・演習 月：システムプログラミング実験 Operating SystemレイヤーやOperating Systemの一個上のレイヤーレベルの話を実践する実験。 第一回 シェルスクリプトを書くやつ。もう覚えてない。まぁシェルスクリプトを書けば良いはず。 第二回 Linuxのシステムコールを実際に呼び出してみる回。getpidのシステムコ

書かないと記憶の彼方に消えてしまうと思うので簡単な振り返りメモです。 対象読者 : そこのあなた 後輩に有益かどうかはわかりません。2Aについては同期のブログ kammer0820.hatenablog.comが詳しいです。 課題のネタバレなどはなるべくないように注意したつもりなのでご安心ください(?) 諸々の成果物は以下にあげてあります。 github.com ネタバレ回避のためにバイナリのみです。(使い方のdocumentはそのうち整理したい) 月2 オペレーティングシステム 月3,4 システムプログラミング実験 火2 離散数学 火3,4 関数論理型プログラミング実験 水2 情報論理 木2 言語処理系論 木3,4 ハードウェア実験 金2 計算機構成論 金3,4 情報科学演習Ⅰ 課外 まとめ 月2 オペレーティングシステム 講義名のとおりOSの仕事や仕組みを一通り学びました。 プロセス管

Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hardcover, first-edition-1277-g3274cb3] Buy a paperback copy for $14.00. [620 pages, 6″ × 9″ size, paperback, first-edition-1277-g3274cb3] Download PDF for on-screen viewing. [490+ pages, letter size, in color, with col

Pythonの学習を始めて3年間でたくさんの技術書を読んできましたが、自分の技術力のレベルによって読みたい本が変わってしまうので、どの技術書を読めばいいのかがわからなくて本選びに相当な時間をかけたと思います。 今回は、これからプログラミング言語Pythonを学習しようとしている方、Pythonの基礎は勉強したけどもっと踏み込んで学びたい方向けに、ぼくが読んだPythonの技術書の中でこれは読んでよかった！という本を読みたい順番に紹介していきます。 この記事の対象読者 未経験からPythonを学習しようとしていて、どの技術書で学習を進めるべきか悩んでいる方 Pythonは少し学習したことあるけど、実践的なWebアプリケーションを開発するときに参考になる技術書を知りたい方 Pythonを活用したWebアプリケーションエンジニアになるために必要な知識やスキルを知りたい方 Pythonエンジニアと