ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHatena
先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思っているかをまとめてみます。 プログラム意味論 プログラムは必ずプログラム言語、少なくとも記号で記述します。*1 そこで、プログラムの勉強という点では、どのように動くかというアルゴリズムの勉強だけではなく、どのように書けるか、書いたものにどのような性質があるのかということも知る必要があります。 例えば、2005年あたりからRubyのような動的型付け言語が流行りだし、Javaなどの静的型付けの言語との
高木浩光＠自宅の日記 - 「ウイルス作成罪」と岡崎図書館事件（日記予定）
■ 「ウイルス作成罪」と岡崎図書館事件（日記予定） 「岡崎図書館事件(15)」として「ウイルス作成罪」（不正指令電磁的記録作成等の罪）の件について書こうと思っていたところ、ちょうど今日、法務省の検討状況の続報が出た。 法務省、ウイルス作成罪新設へ 来年、法案を提出意向, 共同通信, 2010年12月22日 法務省は22日、インターネットを通じたハイテク犯罪防止のため、コンピューターウイルスの作成、保管などに対する刑事罰の新設や、電子データの差し押さえをしやすくする刑法や刑事訴訟法などの改正案を来年の通常国会に提出する方針を固めた。民主党法務部門会議で明らかにした。 ウイルス作成罪の件は頓挫しているとの噂を耳にしたばかりだったので、安堵した。 私は、ウイルス罪新設刑法改正は早く成立させるべきだと思っているが、ただし、これまでに提出されてきた法案のままでは危険であり、目的要件を修正することが必
プログラミングの良書100冊！ | 日経 xTECH（クロステック）
【連載の概要】 「どの本をどんな順番で読んでいけばいいのか」---。書店に所狭しと並んでいる本を見て，途方に暮れたことがある方も多いのではないでしょうか。 この特集では，「JavaでWebアプリケーションを作りたい」「C/C++でゲームや高度なWindowsアプリケーションを作りたい」「分析/設計に強くなりたい」といった目的別に，“学習方法”を示しながらお薦めの書籍を紹介していきます。あわせて，著名な開発者の方々に，どんな本を読んで勉強したのかも語っていただきます。初心者の方はもちろん，ある程度の経験を持つ方も，自分のプログラミング・レベルと照らし合わせることで，きっと次に読むべき本が見つかるはずです。 Part1 プログラミングの基礎を固める（1） ・C言語 「プログラミング言語 C 第二版」 「新版 明解C言語 入門編」 「Cプログラミング専門課程」 ・C++ 「プログラミング言語C+
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Programming Contests, Software Development, and Employment Services at TopCoder
