(英) Computer science の訳語。
→計算機科学 cf. http://en.wikipedia.org/wiki/Computer_science
前回は型理論・圏論・論理学の各分野について触れながら、型理論の歴史まで紹介した。 wagaizumo.hatenablog.com 今回はトライアングルの辺の部分、分野同士の対応について説明する。 型理論 ↔ 論理学 定理証明支援系 論理学 ↔ 圏論 型理論 ↔ 圏論 ホモトピー型理論（Homotopy Type Theory） おわりに
コンピュータサイエンスの勉強をしていると、どこかの段階で型・圏・論理のトライアングル（Computional Trilogy）にぶつかる。すなわち、 カリー＝ハワード同型対応によって、型付きラムダ計算（プログラム）と直観主義論理（証明）が対応する 圏論的論理学は論理学をトポスという圏で書き直し、「論理 → 圏」（モデル論）と「圏 → 論理」（内部言語）の双方向を考える 型付きラムダ計算の意味論として、圏論的意味論がとれる 本記事は、これらについて数学寄りの人間*1がコソ勉してまとめたノートである。 参考文献集としても読めるよう意識している。 はじめに 型理論 圏論 論理学 Interlude:…
留学を志してから始めた３つのステップ どうも、Show Vlogです。今回は「僕がアメリカの大学に進学しようと思ってから始めたこと」を紹介します。 YouTubeにも動画があります！ - YouTube 1. 学校の成績を上げる Point: 海外大学の入試では「GPA」が重視されます！ 定期テスト対策 毎回の小テスト・中間・期末で安定して高得点を取り、最終的にGPA 3.9／4.0を達成。 英語力アップ TOEFL・TOEICなどのスコア対策も並行して実施。語学の基礎固めは留学の大前提です。 2. 課外活動に積極参加 Point: エッセイに書ける“実績”を作る！ ビジネスコンテスト 全国大…
どうもShow Blogです。今日は、僕が国立高専からアメリカの大学へ編入し、CS（コンピュータサイエンス）を学んでいる僕の自己紹介をします。 Youtubeもやっているのでぜひチェックして下さい！ youtube.com 僕の経歴 僕は偏差値63の国立高専に入学し、本来は５年間のカリキュラムのうち、最初の４年間で情報系の基礎知識や数学をしっかり学びました。しかし、「もっと広い世界で自分を試したい」「受け身になりがちな日本の教育スタイルから飛び出したい」と考え、５年目を残して高専を退学。2024年の夏からアメリカの大学に編入し、CSを専攻しています。 学んだ科目例：プログラミング基 礎、データ…
コンピュータサイエンスの勉強とかもしないとならんよな。 あわせてよみたい コンピュータサイエンスの勉強とかもしないとならんよな。 上司が休みなのでだらっとChatGPTと壁打ちしながら仕事をしていた。夜からは筋トレに行く予定である。ちょっとまたしてもサボり癖の再発が酷い感じであるので、打ち手はさっさと考えておきたいところ。 色々とブログに書きたいアイディアはあるが、どれもかなり不穏な感じ。悪いことは色々とあるけど、基本的には、NHKでニュースを見てるとアメリカ発の場外ホームラン級のアホなニュースが連発されてるのがいかんのである。 マジでこれはどうしたもんかと悩むところ。今のアメリカの状況を見て…
ハーバード大学のコンピュータサイエンス入門「CS50」を完走しました。
概要 www.oreilly.co.jp 課題を実装するにあたって、本質的じゃない部分（ハードウェアシミュレータの使い方）でハマることがあったのでメモ。 バス ピンで多ビットを表現する場合は以下のように記述する。 CHIP Test { IN in[16]; // 0000 0000 0000 0011 PARTS: // 配列のような記法で多ビットの一部を入力に指定できる。この例の場合 a=1, b=1 になる Or(a=in[0], b=in[1], out=a); // 範囲指定も可能 Or8Way(in=in[0..7], out=b); // 出力も範囲指定できる。こうすることで、1…
思ったより勉強が進んでない事が可視化されてしまうwまあ英語だから読むのに時間がかかって…(言い訳) タネンバウム MINIX本 p.60-64 まず、プロセスモデルという形でスケジューラとプロセスだけ説明して、割り込みについては後で説明してる。 プロセスは実行状態でない時、(待たなければならない)入力がなくて実行できないBlock状態と、順序的には実行できるがCPU割り当ての都合上実行できないReady状態がある。ここきちんと区別するの大切なのかも。なるほど。 プロセスの各種状態(プログラムカウンタ、メモリ配置、タイマーetc)は構造体の配列として記録、いやこの辺一度自分で実装してみたいなあ …
https://www.amazon.co.jp/dp/4794220588 とりとめのない読書メモ。 1. 思考の基本部品 2. 部品としての論理回路 3. プログラミング 4. チューリングの万能機械 5. アルゴリズムと発見的手法（ヒューリスティック） 6. メモリ 8. 学習できるコンピュータ 9. 工学的アプローチの次にくるもの 最後に感想
コンピュータ・システム作者:ランダル・ブライアント,デイヴィッド・O・ハラロン,五島正裕,河野健二,南出靖彦丸善出版Amazonコンピュータ・システム プログラマの視点から [ 五島 正裕 ]価格: 17600 円楽天で詳細を見る 2.1.2 データサイズ 2.1.2 データサイズ すべてのコンピュータには、ポインタデータの名目のサイズを示すワードサイズがあります。仮想アドレスがそのようなワードでエンコードされるため、ワードサイズによって決まる最も重要なシステムパラメータは、仮想アドレス空間の最大サイズです。つまり、wビットのワードサイズを持つマシンの場合、仮想アドレスは0から2w - 1まで…
edu.watch.impress.co.jp
cs50.jp
togetter.com
twitter.com
magazine.rubyist.net
wbspry.hatenablog.com
gigazine.net
www.publickey1.jp
tmkk.hatenablog.com
