タグ

2007年7月20日のブックマーク (7件)

  • 第12回 「型推論」の実装法

    型推論:「コンピュータ以前」からML,Java 7まで OCamlをはじめ,MLやHaskellなど,多くの型付き関数型言語には型推論という機能がある。この連載でも,暗に陽に,OCamlの型推論機能を利用してきた。 例えば,以下のような関数say_hello_toを定義してみよう。文字列引数nameを受け取り,nameの前に定数文字列"hello "を付け加えて返す,という関数だ。 # let say_hello_to name = "hello " ^ name ;; val say_hello_to : string -> string = <fun> このように,引数や返り値の型を指定しなくても,say_hello_toはstring ->string型(文字列を受け取り,文字列を返す関数)であると自動推論される。 ただし,(例えばプログラムを読みやすくするために)もし型を書きたけれ

    第12回 「型推論」の実装法
    staki
    staki 2007/07/20
  • http://www.tokyo-np.co.jp/s/article/2007071901000428.html

    staki
    staki 2007/07/20
  • やまざきメソッド ジェネレーター

    やまざきメソッドとは デザイナーやまざきさんが突然使いだした進捗表示方法なのだ! 目盛りは横書きで、各項目が縦書き。別名「縦横メソッド」! なんかすごく見やすいし、進捗把握しやすいんですけど! エディターで再現してみてください。めっさ面倒だから! そこで、簡単にやまざきメソッドで表現できるジェネレーターの登場だ! やまざきメソッド ジェネレーターの使い方 「たいとる」を入力する。左上に横書きで表示されるよ。 「はじめのことば」を入力する。目盛りの左側に横書きで表示されるよ。 「おわりのことば」を入力する。目盛りの右側に横書きで表示されるよ。 「もじしょく」を入力する。"000000"みたいに16進数で入力してね。 「はいけいしょく」を入力する。"FFFFFF"みたいに16進数で入力してね。 「いまここ」を選択する。進捗表の場合は選択すると目盛りの色が変わるよ。 「こうもく」を入力する。勝手

    staki
    staki 2007/07/20
  • JUnitで作成されたユニット試験のカバー範囲を検証可能 - Jumble 1.0.0 | エンタープライズ | マイコミジャーナル

    Jumbleの初のパブリックリリースとなる「Jumble 1.0.0」が17日(米国時間)、公開された。同アプリケーションはこれまでReel Twoによって開発されてきたツール。今回はじめてGNU GENERAL PUBLIC LICENSE Version 2のもとでオープンソースソフトウェアとして公開された。JumbleはJavaで開発されたユニット試験カバー範囲の検証ツール。JUnitを使ったユニット試験に対応している。 Jumbleはユニット試験の対象となるクラスの内容をバイトコードレベルで微妙に変更させながら同試験クラスを実行。さまざまに条件を変えたうえで、ユニット試験クラスがきちんとこれらの条件をカバーするように組まれているかを検証する。結果は0%から100%までのメータで表示される。100%が表示されれば素晴らしいユニット試験プログラムが組まれているということになる。 今回は

    staki
    staki 2007/07/20
    junit
  • 国内6メーカー担当者が実物を見て語った「iPhoneの衝撃と本音」 モバイル-最新ニュース:IT-PLUS

    「通信事業を気でやるんですかね」――。2019年10月に"第4のキャリア"として携帯電話事業に参入する楽天に対して、ソフトバンクの宮内謙社長は楽天の取り組みに対して心配顔でこう疑…続き ソフトバンク宮内社長「非通信の新事業、数千億円に」 [有料会員限定] iPhoneユーザーに選択迫る 総務省の「完全分離」案 [有料会員限定]

    国内6メーカー担当者が実物を見て語った「iPhoneの衝撃と本音」 モバイル-最新ニュース:IT-PLUS
    staki
    staki 2007/07/20
    何を今さらだ。
  • ブログちゃんねる:虫に詳しい奴、緊急だからマジちょっと来い

    1 :以下、名無しにかわりましてVIPがお送りします。 :2007/07/18(水) 00:05:20.01 ID:xWog18PX0 今、原付でタバコ買いに行ったんだけど、 俺んちの原付を置く場所の隣に、俺が昔使ってたチャリが置いてあって、 そこでセミの幼虫から成虫が半分出てきてんだよ! これって確かあんま見れない光景なんだよな? どうしてやればいい?

    staki
    staki 2007/07/20
  • 債券・株・為替 中年金融マン ぐっちーさんの金持ちまっしぐら  世界は怒っている・・・・

    いろいろなブログやHPで取上げられていますが、昨日たまたまかなりの密度でCNN、BBC,ABCなどの海外ニュースを見ていたのでお伝えしておくのが筋であろう、と思われるので書きます。 まず、このブログは東京電力の関係者も多数見ておられるのは事実。 ぐっちーの同期もいるからね。でも今回の件については世界は怒ってるぞ!!とお伝えしたい。給料が毎年下がっていたり、労働条件が悪い民間企業だととっくに内部告発が出てくるんでしょうが、東京電力は給料も高いし、抜群の労働環境を誇るので内部でちくるひとは絶対にいません。やったらすごいけど。 でもね、 これに比べたら、Qさん発言とかマイク・ホンダとかは当に野球以下の影響力しかないのにあれだけ大騒ぎした訳だから、日の報道機関はもっとちゃんと取りあげないと深刻な問題になると思いよ。国際問題になるかもよ。 CNNの論調はかなり冷静だけど、論点を整理すると、 1)

    債券・株・為替 中年金融マン ぐっちーさんの金持ちまっしぐら  世界は怒っている・・・・
    staki
    staki 2007/07/20