よいコード、わるいコード

2015/05/11 235 users よいコード hatsusato 作画アニメ 数学基礎論 趣味

Transcript 1. よいコード、わるいコード 京都大学理学部数学系４回生 KMC ID: hatsusato 2015/05/11 2. 2/28 自己紹介 ● hatsusato – 理学部数学系４回生 ● 最近は数学基礎論とか集合論とかやってる。 ● プログラミング言語を作りたい。 – 趣味 ● 作画アニメ – すきなもの ● C++ – きらいなもの ● C++ 3. 3/28 よい... 続きを読む

文系と呼ばれる分野に純粋培養された俺が数学に再入門するためのインターネット・リソースガイド - 蟲！虫！蟲！ - #!/usr/bin/bugrammer

2011/11/02 1102 users 微分積分 リソースガイド 殆ど スペック 群論

はじめに──自分のスペックを振り返る 高校を卒業してから十数年、高校数学に関しては殆どといっていいほど手をつけていませんでした。一応、大学の授業でも数学の授業を受けてみるものの、まったく理解ができなかった。というのも、「いったいそれがどうしてそうなるのか」というのがよくわからなかったから。恥ずかしいことに、未だに微分積分とか、あるいは群論とか、集合論とか、圏論とか、線形代数とか、そういうものがまっ... 続きを読む

SQLで集合演算：CodeZine

2007/05/25 106 users 一端 ゆえ CodeZine 側面 観点

はじめに　SQLが集合論に立脚する言語であるということは、この連載で一貫して強調してきたテーマの一つです。その特性のゆえに、SQLは「集合指向言語」と呼ばれていますし、実際、集合的な観点から見たときに初めて、その強力さが理解できると私は考えています。しかし現実には、SQLのこの側面は長らく無視されてきました。　その背景には、SQLにも責任の一端があります。というのも、SQLはちょっと前まで、高校で... 続きを読む