■_
三月も去っていってしまった…
>2011年03月27日
■_
日曜日夜のこの時間がない感ときたら。
積読解消。
プロジェクトのリーダーの人もそうでない人にもオススメ。
100点満点、減点評価を止めようというのは同意しますが、
青天井加点評価へどう移行するのか気にはなったり
(「成果主義」の二の舞になりそうな気が)。
積読のまま行方不明になっていたのを再発見したので読んだ。
「教えすぎてはいけない」というのはそうなんでしょうね。
とはいえ、教わるほうも雛鳥がえさをねだるごとく教えてくれくれいう人が多い気もします。
CPython 3.2 ソースコードリーディング - [PARTAKE] に参加してきました。 いろいろメモ書きやらしたのですが時間ががが。 とりあえず一言。 門番?の警備員さん怖かった。
OS-9 (MacOSぢゃないよ)ってソースコードは今も読めないのだっけ。 CP/Mは公開されたような覚えがあるんだけど。 OS-9 - Wikipedia CP/M - Wikipedia
■_ マ板から
Rubyist とか Pythonista とか聞くけど、ほかの言語ではどういう呼称が使われてるんだろう。 あ、英語圏で。なんでもかんでも ～er ってこたないと思うのだけど。
スレッドを立てるまでもない質問雑談スレ42 489 仕様書無しさん [sage] 2011/03/22(火) 13:43:24.37 ID: Be: Ruby使いはRubyist、Cobol使いはCOBOLer、じゃあC使いは何なの？ 497 仕様書無しさん [] 2011/03/25(金) 21:55:15.17 ID: Be: ブチョーがコードレビューするのだが どーせ隅から隅まで見るわけねえだろ と思って 一箇所にだけ unsigned int auto ってやったんだわ したらブチョーが「おい このautoなんだ」 見とったわ ブチョー隅まで見てたわ ビビッた 498 仕様書無しさん [sage] 2011/03/26(土) 06:32:24.64 ID: Be: 薄目で全体を見てるんだよキット 499 仕様書無しさん [sage] 2011/03/27(日) 02:10:18.67 ID: Be: >>490 純粋なSE会社はコード書かないよ。客から話を聞だして文書作るのが仕事。 コミュニケーションと技術的に可否の判断が必須、コーディングの知識なんてクソも役に立たんよ。 某JRシ○テムはそうだった。気をつけて。 >>497 もうすぐC++じゃautoさんが生まれ変わっちゃうけどデフォルトでstaticな環境ってまだ存在すんのかな。
■_ Category Theory for the Java Programmer
ぼちぼちと。
Category Theory for the Java Programmer « reperiendi Category Theory for the Java Programmer (Javaプログラマーのための圏論) (略) 1. Objects (オブジェクト) Both in Java and in category theory, objects are members of a collection. In Java, it is the collection of values associated to a class. For example, the class Integer may take values from -2^{63} up to 2^{63}-1. The class Java と圏論の両方でオブジェクトは collection のメンバーです。 Java においてはオブジェクトはあるクラスに結び付けられた値の collection です。 たとえば Integerクラスは -2^{63} から 2^{63}-1 までの値を取ります。 enum Seasons { Spring, Summer, Fall, Winter } has four possible values. というクラスは四つの possible values を持っています。 In category theory, the collection of objects is “half” of a category. The other part of the category is a collection of processes, called “morphisms,” that go between values; morphisms are the possible ways to get from one value to another. The important thing about morphisms is that they can be composed: we can follow a process from an initial value to an intermediate value, and then follow a second process to a final value, and consider the two processes together as a single composite process. 圏論ではオブジェクトの collection は “half” of a category (圏の“半分”?) です。 The other part of the category is a collection of processes, called “morphisms,” 圏のもう半分は“morphisms”と呼ばれる value 間の process の collection です。 morphisms are the possible ways to get from one value to another. morphisms で重要なことはそれが compose (集める) できるということです。 initial value から intermediate value への process 、そしてそこから final value への second process を follow することが可能であり、 この二つの process をまとめてひとつの composite process とみなせるのです。 2. Categories (圏) Formally, a category is 形式的には圏とは * a collection of objects, and オブジェクトの集まりと * for each pair of objects A, B, a set {\rm hom}(A, B) of morphisms between them オブジェクト A、B のペアごとの間にある morphisms {\rm hom}(A, B) の集合です。 #にほんごおかしい○|￣|＿ such that * for each object X the set {\rm hom}(X, X) contains an identity morphism 1_X, * for each triple of objects X, Y, Z and pair of morphisms f \in {\rm hom}(X, Y) and g \in {\rm hom}(Y, Z), there is a composite morphism (g \circ f) \in {\rm hom}(X, Z), * for each pair of objects X, Y and morphism f\in {\rm hom}(X, Y), the identitiy morphisms are left and right units for composition: 1_Y \circ f = f = f \circ 1_X, and * for each 4-tuple of objects X, Y, Z, W and triple of morphisms f \in {\rm hom}(X, Y), g \in {\rm hom}(Y, Z), h \in {\rm hom}(Z, W) composition is associative: h\circ (g \circ f) = (h \circ g)\circ f. If a morphism f \in {\rm hom}(A,B), category theorists write f:A\to B. ある morphism f が {\rm hom}(A,B) にあった場合、圏論ではそれを f:A\to B のように書きます。 We can also define a category in Java. A category is any implementation of the following interface: Javaでも圏を定義できます。 ある圏は以下のインターフェースの実装となります: interface Category { interface Object {} interface Morphism {} class IllegalCompositionError extends Error; Object source(Morphism); Object target(Morphism); Morphism identity(Object); Morphism compose(Morphism, Morphism) throws IllegalCompositionError; }; that passes the following tests on all inputs: このインターフェースはすべての入力に対して以下のテストを pass します: void testComposition(Morphism g, Morphism f) { if (target(f) != source(g)) { assertRaises(compose(g, f), IllegalCompositionError); } else { assertEqual(source(compose(g, f)), source(f)); assertEqual(target(compose(g, f)), target(g)); } } void testAssociativity(Morphism h, Morphism g, Morphism f) { assertEqual(compose(h, compose(g, f)), compose(compose(h, g), f)); } void testIdentity(Object x) { assertEqual(source(identity(x)), x); assertEqual(target(identity(x)), x); } void testUnits(Morphism f) { assertEqual(f, compose(identity(target(f)), f)); assertEqual(f, compose(f, identity(source(f)))); } One kind of category that programmers use every day is a monoid. Monoids are sets equipped with a multiplication table that's associative and has left- and right units. Monoids include everything that's typically called addition, multiplication, or concatenation. Adding integers, multiplying matrices, concatenating strings, and composing functions from a set to itself are all examples of monoids. プログラマーが日々使っている圏の一種にモノイドがあります。 モノイドとは sets equipped with a multiplication table that's associative and has left- and right units です。 モノイドは典型的には加算、乗算、連結とよばれるようなものすべてを含みます。 a set to itself からの整数の加算、行列の乗算、文字列の連結、関数の合成 はすべてモノイドの例です。 In the language of category theory, a monoid is a one-object category (monos is Greek for “one”). The set of elements you can “multiply” is the set of morphisms from that object to itself. 圏論の用語では、あるモノイドは one-object category です( mono とはギリシア語での “one”)。 乗算可能な要素の集合は object to it self からなる morphisms の集合です。 In Java, a monoid is any implementation of the Category interface that also passes this test on all inputs: Java ではモノイドはすべての入力について以下のテストも pass する Categroy インターフェースの任意の実装です。 void testOneObject(Morphism f, Object x) { assertEqual(source(f), x); } The testOneObject test says that given any morphism f and any object x, the source of the morphism has to be that object: given another object y, the test says that source(f) == x and source(f) == y, so x == y. Therefore, if the category passes this test, it has only one object. testOneObject テストでは 与えられた morphism f と任意のオブジェクト x、その morphism の source が そういったオブジェクトでなければならないとしています。 別のオブジェクト y が与えられたならば、このテストは source(f) == x かつ source(f) == y でありしたがって x == y であると主張しています。 したがって、もしその圏がこのテストを pass したなら、その圏はただひとつだけの オブジェクトを持っています。 For example, consider the monoid of XORing bits together, also known as addition modulo 2. Adding zero is the identity morphism for the unique object; we need a different morphism to add 1: 例としてaddition modulo 2 としても知られている XORing bits together のモノイドを考えてみましょう。 ゼロを加えることは unique なオブジェクトに対する morphism の identity であり、 1を加えるには異なる morphism が必要です。 interface Parity implements Category { Morphism PlusOne(); } The existence of the PlusOne method says that there has to be a distinguished morphism, which could potentially be different from the identity morphism. The interface itself can't say how that morphism should behave, however. We need tests for that. The testPlusOne test says that (1 + 1) % 2 == 0. The testOneIsNotZero test makes sure that we don't just set 1 == 0: since (0 + 0) % 2 == 0, the first test isn't enough to catch this case. PlusOne メソッドの存在は区別された morphism が存在してなければならないことを 主張しています。 その morphism は identity morphism とは異なる可能性があります。 インターフェースそれ自身はその morphism がどのように振舞うべきかについて言及していません。 ですからそのためのテストが必要です。 testPlusOne テストは (1 + 1) % 2 == 0 であることを主張しています。 testOneIsNotZero テストは 1 == 0 としないことを保証します。 (0 + 0) % 2 == 0 であるので、最初のテストはこのケースを catch するには不十分です。 void testOnePlusOne(Object x) { assertEqual(compose(PlusOne(), PlusOne()), identity(x)); } void testOneIsNotZero(Object x) { assertNotEqual(PlusOne(), identity(x)); } Here's one implementation of the Parity interface that passes all of the tests for Category, testOneObject, and the two Parity tests: 以下の例は Parity インターフェースの実装で、 圏、testOneObject に対するテストのすべてと 二つの Parity テストを渡します: class ParityImpl implements Parity { enum ObjectImpl implements Object { N }; enum MorphismImpl implements Morphism { PlusZero, PlusOne }; Object source(Morphism) { return N; } Object target(Morphism) { return N; } Morphism identity(Object) { return PlusZero; } Morphism compose(Morphism f, Morphism g) { if (f == PlusZero) return g; // 0 + g = g if (g == PlusZero) return f; // f + 0 = f return PlusZero; // 1 + 1 = 0 } Morphism PlusOne() { return PlusOne; } }
つづく。
わかったようなわからないような。
■_
- YouTube - やる気の無い猫
- 今春“プロ”グラマーになる人が、あと1週間ですべき7のこと | Act as Professional - プロとしての行為
- ケン・トンプソンとデニス・リッチーを知らない… | ありえるえりあ
- Togetter - 「「犬吠埼に風力発電所を作ると東電の電力を全部賄える」という説の原典を読みといてみた」
- 友人がLispに中置記法を導入してしまってめっちゃ強くなってめっちゃカッコ良くなって最早C - IT系で覚醒めたい
- 友人がCLに中置記法を付けました。非常にぱないです。 - IT系で覚醒めたい
- zeptometer - CLで中間記法
- zeptometer - CLで中間記法(2)
- かつての西海岸の人たちが今の世を笑っているかもしれない...我々の心に余裕はあるか - Amazonの悪魔
- 題名通りPICマイコンの基礎が学べる良書: 組み込み技術者の単身赴任日記
- lesson1.markdown at master from tm1rbrt/myopl - GitHub
- Make your own programming language. Lesson one : programming
- 私の翻訳のやり方 - capsctrldays(2011-03-26)
- 殴りたくなる「キュゥべえクッション」 コトブキヤ限定 - アキバBlog
- Dissecting Python - part 1 « All Unkept
- エドガー・W・ダイクストラ: 謙虚なるプログラマ (The Humble Programmer)
■_
げしょ。
