型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
型システム入門 プログラミング言語と型の理論 | オーム社eStore(β)
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
3Dプログラミング勉強会をやりました - ✘╹◡╹✘
( Hatsune Miku / Crypton Future Media inc. / CC BY-NC ) 週末、3Dプログラミングに興味のある自称初心者が7人集まって勉強会をした。皆適当にピザ食べたりして語らないながら各自作業を進めて、終わって琉球料理食べて成果報告とか最近のプログラミング界隈の話とかをした。MikuMikuDanceをブラウザで動かす奴を作ろうと思って、MMDのモデルデータの歴史・仕様を調べ、PMD形式とその後継のPMX形式があること、PMDは仕様の詳細が公にされていないがPMXはPMX仕様.txtに少し書いてあること、PMXファイルはバイナリデータであること、ブラウザでバイナリデータを読み込むにはArrayBufferやDataViewが使えることなどを勉強した。PMXのデータ構造をBNFで記述してそれを元にコードを自動生成しようとしたのだけど、規則が色々複雑で、
Riak Serious Talk #1 #riak_serious
SKS rep @repeatedly Riak Serious Talk，参加者が全員5分前に来た！ということで今度から他の勉強会も「遅刻厳禁．もし入りたかったら懇親会費全部出すこと！」で開催すれば良いと思う
文学オープンソースと理系のググれの精神
理系のオープンソースの精神なんて、文系のオープンソースの精神に比べたらカスです。 オープンソースとは、プログラミングでソフトウェアを作るときのスタンスの一つで、一般的にソフトウェアを作る時、作り方というのは誰にも知られないようにして作るのですが、オープンソースというのは「俺が作ったプログラミングの作り方を、誰にでも無条件で教えてやるぜ！」という、粋でイナセなスタンスのことです。 このオープンソースという考え方の発明により、皆がプログラミングの作り方をお互いに学びあい、より良いソフトウェアを作り上げようという昨今の素晴らしい風潮を作り上げているのです。 ──が、文系人間の私が理系に憧れて無理やり理系の世界に入ってから思うのが、理系の世界には、文系の世界に比べて教材が少ない。しかも高い。 例えばですよ。私は実は大学受験の時に数学を捨てて、文学部を目指していたわけですよ。つまり、高校二年生後半か
Framework Benchmarks Round 1 – TechEmpower
How much does your framework choice affect performance? The answer may surprise you. Authors’ Note: We’re using the word “framework” loosely to refer to platforms, micro-frameworks, and full-stack frameworks. We have our own personal favorites among these frameworks, but we’ve tried our best to give each a fair shot. Show me the winners! We know you’re curious (we were too!) so here is a chart of
第2回将棋電王戦 第1局 電王戦記1.2 (筆者：夢枕獏)
── 米長さんのことから ── １ 何から書きはじめようか。 迷っているのは、米長邦雄の『われ敗れたり』を読んでしまったからである。 本来であれば、今日、本日の朝からこの原稿を書き出す予定であったのだが、半日かけてこの本を読んでしまったため、この時間――二〇一三年三月二十六日の午後五時にこの稿を書き出すことになってしまったのである。 三日前の三月二十三日のこの時間、ぼくは千駄ヶ谷の将棋会館にいた。第二回将棋電王戦の第一局目を観戦するためである。 前回の対戦も、二〇一二年一月十四日に、同じこの将棋会館で行われている。 米長邦雄永世棋聖対最強のコンピュータ将棋ソフトボンクラーズ。この勝負で米長邦雄が敗れた。 今回は、格闘技風に言うならば五対五マッチ。 コンピュータ五台対プロ棋士五人。 団体戦である。 一週間ごとに一局ずつ、五局の勝負となる。 一局目、阿部光瑠四段対竹内章氏の習甦。 二局目、佐藤
朝日新聞デジタル：悠々マイワシに緊張走る 天敵クロマグロ、ついに水槽へ - 社会
【動画】マイワシの群れにクロマグロ投入、水槽に緊張感？＝高橋雄大撮影クロマグロに追い立てられるマイワシ＝２８日午後、名古屋市港区の名古屋港水族館、高橋雄大撮影クロマグロ（右）が入った水槽でトルネードを見せるマイワシ＝２８日午後、名古屋市港区の名古屋港水族館、高橋雄大撮影水槽の中で力尽きたクロマグロ（中央）。周囲をマイワシが泳ぎ回っていた＝２８日午後、名古屋市港区の名古屋港水族館、高橋雄大撮影クロマグロの目の前をひらりと横切るマイワシ＝２８日午後、名古屋市港区の名古屋港水族館、高橋雄大撮影マイワシの水槽に投入されたクロマグロ＝２８日午後、名古屋市港区の名古屋港水族館、高橋雄大撮影 【宋光祐】３万５千匹のマイワシが泳ぐ名古屋港水族館（名古屋市港区）の黒潮水槽に２８日、天敵のクロマグロ１１匹が投入された。群れをつくって身を守る習性のはずが、群れから離れるマイワシが出始めたためだ。水槽内に緊張感
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - fogleman/Minecraft: Simple Minecraft-inspired program using Python and Pyglet
https://bugs.chromium.org/p/v8/issues/detail?id=2355