Code Archive Skip to content Google About Google Privacy Terms
A structural type system (or property-based type system) is a major class of type systems in which type compatibility and equivalence are determined by the type's actual structure or definition and not by other characteristics such as its name or place of declaration. Structural systems are used to determine if types are equivalent and whether a type is a subtype of another. It contrasts with nomi
e-mail address: lindy[my first name] at gmail.com Twitter: @lindydonna LinkedIn: Donna Malayeri Medium: @lindydonna GitHub: lindydonna As of September 2018, I have joined the serverless team at Google Cloud! Before that, I worked at Pulumi, a startup in Seattle. Pulumi is a tool and service that makes it easier to build and compose modern cloud applications that run on any major cloud. At Microsof
oneTBB is a flexible C++ library that simplifies the work of adding parallelism to complex applications, even if you are not a threading expert. The library lets you easily write parallel programs that take full advantage of the multi-core performance. Such programs are portable, composable and have a future-proof scalability. oneTBB provides you with functions, interfaces, and classes to parallel
Just browsing Stack Overflow? Help us improve your experience. Sign up for research
以前から、小学生や中学生にプログラミングの楽しさを伝えることはできないかなーと、ずっと思ってました。 PCや、インターネットが当たり前にあって、ゲームもちょっとお小遣いとかお年玉を貯めれば買えてしまう時代だからこそ、「自分でなにかを作り出す」とか「コンピュータを操ってみる」って感じを、早いうちに知っておくのは損ではないのではないか、と。 そんなことを、あちこちで言っていたら、一緒にやりましょうという方があらわれ、その方の企画のもと、そんなイベントが実現しました。 今回は、某小学校のコンピュータ室を使って、小学3年生から、6年生までの子供たちに、 Scratch を使って、プラグラミングプログラミングの楽しさを伝えてきました。 小学生とはいえ、彼ら彼女らは、普通にマウスも使えるし、PCの電源の切り方もしっかり知っています。PCを道具として使うことはすでに分かっている子供たちばかりです。 とり
概要 テキストエディタのためのバッファの各種データ構造について述べ、 それらを筆者がC++で STLに準じたインタフェースを持つテンプレートクラスとして実装したものについて、 パフォーマンス（処理速度、使用メモリ量）計測を行った結果を報告する。 筆者が実際にテキストエディタを実装する場合にどのデータ構造がよいか、という視点で評価を行う。 目次： はじめに バッファに要求される機能・性能 バッファクラスのインタフェース パフォーマンス計測 各種データ構造 gap_vector<wchar_t> VS. list<wstring> gap_vector<wstring> 終わりに 参考文献 はじめに テキストエディタは、簡単に言うと、シーケンシャルなテキスト情報を保持し、ユーザの指示により内容を表示、修正するプログラムである。 上図のような構造はオブジェクト指向な設計と親和性が高い。 テキスト
ACM/ICPCの2008年度の大会日程が公開されています。 国内予選は2008年7月4日，アジア地区予選会津大会は2008年10月25日～27日でホスト校は会津大学です。 参加登録締め切りは2008年6月20日です。 ここではACM/ICPC（ACM国際大学対抗プログラミングコンテスト: ACM International Collegiate Programming Contest）で 国内予選を突破するために必要な情報を載せています。 ACM/ICPC自体については2006年度の横浜大会のWebサイトなどを読んでください。 結局のところ，ACM/ICPCで良い成績を残すにはひたすら問題を解く練習をするしかありません。 ですが，出題される問題の多くはいくつかのカテゴリ，例えば探索問題やグラフ問題，あるいは幾何問題などに分類することができます。 つまり，「傾向と対策」が存在します。 本サ
小崎 資広 2008/5/22 この記事では、Linux Kernel Watchの番外編として、Linuxの最近のメモリ管理周りの動きと、その背景のモチベーションについてお伝えしたいと思います。 メモリ管理は変更時のインパクトが大きいため、通常、Stable Tree（安定ツリー）ではあまり変更はなされません。しかし、Linuxカーネルメーリングリスト（LKML）の議論では「もうカーネル2.7は出ない」ともいわれており、十分なテストがなされたものであれば、アグレッシブなパッチでも受け入れられるようになっています。 また、メモリの急速な大容量化により、いままで問題にならなかった部分にスケーラビリティ上の問題が発生したという報告もちらほら出てきました。それを解消するためのさまざまな改善が提案されています。 こうした背景により、2007年から2008年にかけては相当面白いパッチが出てきました。
ここで言う基盤系というのは、OSとかRDBMSとかプログラミング言語処理系とか、そーゆー奴ね。アプリケーションプログラムとかWebサービスとかを支える縁の下の力持ち。その基盤を作るプログラマをどのように育てるかというお話。 まあ、ハッカー予備軍をどのように育成するか。ハッカーって、育てるとか教育するとか、そーゆーものではなく勝手になるものだから、そもそも、そんなものはありえないという議論もある。確かに天才というのは、天才なので、教育がどうだこうだということはないのだけど、一般的なプログラマというのは、一般的な教育プログラムである程度底上げ的なことは出きると思う。 例えば、PostgreSQLの開発者を考えてみる。ちょっとRDBMSに興味がある、だけどどこからとっかりをつけていいのかよく分からないという初心者がいたとする。今ある、OSS利用者教育プログラムをいくらやったところで開発者にはなれ
2009年04月29日18:00 カテゴリCode ケータイとネットブックがそれでもヤバい理由 そう来ると思った。 Dan Kogai氏がやばいと思うただ二つの理由 - Keep Crazy;shi3zの日記 ケータイサイトは約10年も前からケータイだけで作れる。 魔法のiらんども知らないのか。 では、「魔法のiらんど」はどこで動いているのか。 ケータイの中ではない。あなたも私も知らない、ドコモのサイトのどこかである。 その意味において、ケータイサイトをケータイで作るというのは、vt100でVAXのプログラムを書いていた30年前と本質的に変わらない。そこには確かに「作った」がある。が、「作ったもの」がどう扱われるべきかを決めるのは、「作った人」ではなく「場を用意した人」に最終的な決定権がある。いくらVAXの中にあるプログラムが「あなたのもの」でも、VAXの電源を落とされたらあなたには手も足
Key Binds Define hotkeys for the mouse and keyboard, remap keys or buttons and autocorrect-like replacements. Creating simple hotkeys has never been easier; you can do it in just a few lines or less! What is AutoHotkey AutoHotkey is a free, open-source scripting language for Windows that allows users to easily create small to complex scripts for all kinds of tasks such as: form fillers, auto-click
例外 Java Tutorials: http://java.sun.com/docs/books/tutorial/essential/exceptions/index.html 例外の構文 try, catch, finally Javaでは、プログラムの実行中にエラーが起こったときに、例外クラス(Throwableインターフェースを実装したもの)を投げる(throw)ことがあります。例外がthrowされると、プログラムの流れがとまり、try文中なら、その外側のcatchクローズによって例外が補足されます。 tryブロック中を正常に終了したときも、例外処理を行った後も、finallyクローズ内のコードは必ず１度実行されます。特に必要としない場合は、finally節を省略してもよいです。 try { // throws IOExceptionという宣言をもつメソッドを実行 }
(追記)Scalaでの実装。 abstract class Node case class Leaf() extends Node case class R(left: Node, key: int, right: Node) extends Node case class B(left: Node, key: int, right: Node) extends Node def balance(left: Node, key: int, right: Node) = { (left, key, right) match { case (R(a, x, b), y, R(c, z, d)) => new R(new B(a, x, b), y, new B(c, z, d)) case (R(R(a, x, b), y, c), z, d) => new R(new B(a, x, b),
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Visitor Pattern: A generic and still type-safe approach