2012-01-01から1年間の記事一覧
よくアイコンにマウスオーバーして、プログラムにファイルやディレクトリを引数として渡しますが、実は特別な設定をする必要はありません。windows xpの方で引数を渡してくれるようです。しばらく自分で使ってみて、使える感じだと判断したら、まずはフリー…
Coqは証明支援系というらしいですが、普通の意味でのプログラミングできないことにはあまり役にたたないと思います。証明にこだわらないで、せめてソート関数なり、、、いやもっと実用的なものをプログラミングしてみたら良いんじゃないかと思います。ですが…
エラー処理のテストを書いているのですが、期待されるエラーメッセージをテストデータの中に埋め込むとテストコードを変更することなしにどんどんテストケースを追加することができます。 たとえば、 [[ページ1が開きます。 `` ERROR "1:2: expecting \"]]\"…
golang.jpにある並行処理の例、素数の篩(ふるい)をボトムアップに作ってみます。まず、 package main import "fmt" func main() { ch := make(chan int) go func() { for i := 0; ; i++ { ch <- i } }() result := "" for i := 0; i < 10; i++ { result += f…
0から順番に整数を生成する無名関数それを受け取ってresultに追加する処理が並行して処理されてるってことだと思います。go (処理)で処理がバックグラウンドで行われ、その処理結果がch(チャンネル)を通して得られるっと。 package main import "fmt" func m…
*コメントにあるように、メソッドチェーンは使えますが、以下のような現象が起こるのは事実ですしばらく書いてようやく気づきました。仕様はどうか知りませんが、実装としてGo言語はメソッドチェーンは使えないようです。 package main import "fmt" type A …
Go言語でどう書けば良いか調べてみました。ReadDir(dirname string) ([]os.FileInfo, error)でファイル情報の一覧が得られるようです。 package main import ( "io/ioutil" "os" "fmt" "strings" ) func main() { list, err := ioutil.ReadDir(os.Args[0]) i…
基本的にlivedoor Wikiの記法ですが、使える機能は限られています。ここに記法に関する文章を設置しました。もちろんwiki2htmlを使って書きました。ソースはページ最下部にリンクがあります。書いている途中、"||=", "=||", "~~"..などの意味のある文字を文…
方針としては パースエラーしても、解析をできるだけ継続する できればhtmlを生成する できるだけ多くのエラーを報告する 意味の無いエラーは書き出さない htmlが生成されるまでの時間は遅くない です。これができれば、一度に多くの文章を書いて後で一気に…
最近、Wikiを書くのですが、webアプリだとブラウザが落ちるかもしれないし、なんか色々と不安定なのでローカルアプリでWikiからhtmlに変換するなり、エラーチェックするなりするツールが欲しいと思いました。たぶん、探したらあるのかもしれませんが(ほらこ…
ARGVとOptionsParserの仕様を以下のコードで確認してみました。ARGVはOptionParser#parse!するとオプション分はシフトするみたいですね。 $ ruby --version ruby 1.9.2p180 (2011-02-18 revision 30909) [i686-linux] #!/usr/bin/env ruby require "test/uni…
Go 1でも使えるようにしたopts-goは次のようにしてソースコードを得ることができます。 git clone git@github.com:nnabeyang/opts-go.git github:nnabeyang/opts-go
catの-nオプションだけ書いてみました。行数を表示させるのにreadlineが欲しかったのですが、bufioのReaderがReadLineを持っていました。 package mainimport ( "bufio" "fmt" "io" flag "opts-go" "os" )var flagNumber = flag.Flag("n", "--number", "Numb…
前回echoを書いてみたのですが、flagパッケージでは"-en"みたいな指定ができませんでした。それで、opts-goというものを代わりに使ってみました。"POSIX- and GNU-style options for go"って書いてあります。"-en"くらい扱ってくれそうですね。ところが、ダ…
echoってshellのあれです。echoにもオプションがあって、"man echo"で 説明 echo は与えられた string をそれぞれ標準出力に書き出す。それぞれの間にはスペースを挟み、 最後の引数の後には改行を行う 。ただし -n オプションが指定されている場合は改行し…
わざとらしく次のようなファイル(hello.c)を用意します。 #include<stdio.h> int main( void ) { printf("hello, world\n"); return 0 ; } $ indent -st hello.c すると #include<stdio.h> int main (void) { printf ("hello, world\n"); return 0; } が標準出力されます(-stが</stdio.h></stdio.h>…
goを久しぶりに更新しました。そしたら8g, 8lとかが無くなって少し焦りました。なんとなくgoとタイプしてみたら、goコマンドに統一されたようだということが分かりました。いつごろからgoになったんでしょうね。サブコマンドの補完機能が標準でついてなかっ…
4月1日は、いろいろとややこしいので今日の更新にしました。そして、3月31日に更新しないのは、 「まだ3月が終わらないのに3月をふりかえるのは、無いんじゃないかな。その月の最後の23時59分59秒..まで何かやっていたほうが良いんじゃないかな」という思い…
『初めてのRuby』によると、モジュールは拡張機能(または名前空間など)に使われる習慣があるようです。例としてNumericクラスがRailsではモジュール(ActiveSupport::CoreExtensions::Numeric::Bytes)で拡張されているのが紹介されています。MiniTest::TestCa…
ソースコードの説明をerbで使える記法にして、Notesに入れて管理することにしました。"git log --reverse -p"すると、こんな感じになります(はてな記法と競合するのでgistに置きました)。プレーンテキストですが、はじめから通して読むことができます。Notes…
最初から順に読んでいけば"test/unit"が分かることを目標にしたドキュメントを書いています。epub形式のみで最新版はここに公開しています。対象読者はRuby初心者で、分量も短いです。"test/unit"はコンセプトというか、どんな感じのものを書こうとしている…
"chrome "でファイルが開き、フォーカスされるのでhtmlを生成した後に書き込んでおくとチェックしやすいです(firefoxとかでもできると思いますが、試してません)。あと、下のRakefileの3行目で依存性が左ほど章が大きいのは偶然ではありません。ch03.html, c…
Gitリポジトリ内のコードが全て動くかどうか気になって、こんなRakefileを書いてみました。なぜコードが動くか調べたかったかというと、"git bisect run"するとき、実行できないコードが混ざっていると混乱するからです(最後にruns, failuresに-1してるのは…
とても遅い振り返りですが、なかなか時間がとれませんでした。2月はジェネリック・プログラミングについて勉強してきたのですが、ものにできないままになっています。「プログラミング原論(ステパノフ)」に載っている定理、補題などの証明をすっ飛ばしたのが…
Rubyには意図しないメソッドの上書きを防止する方法があります。このテクニックは例えば、既にあるクラスに独自拡張を加えるときなどに有効です。既に定義されているクラスをAとし(Aが例えばStringの場合では既に定義されています。Aのままの場合は、既にク…
今回はlistのテストを書きました。全ソースコードはプログラミング原論(ステパノフ)のこのページにあります。 #include<cassert> #include<cstddef> #include<new> #include<cstdlib> #define pointer(T) T* template<typename I, typename O> void copy_step(I& f_i, O& f_o) { sink(f_o) = source(f_i); f_o = succe</typename></cstdlib></new></cstddef></cassert>…
プログラミング原論(ステパノフ)のサンプルコードはここにあるのですが、1万行を超えていることもあり、少し読むのに時間もかかります。ということで、単方向リンクリスト(slist)に関係するところだけ引っ張り出して、テストを書いてみました。他のコンテナ(…
バイナリサーチを例に、再帰からループへの変換をしてみます。バイナリサーチは、(a[0] vより小さければ、firstから今調べたところまでにvは無いことが分かります。なので、次回firstはnext+1にして、調べる領域を縮めることができます。逆の場合も同様です…
トレイト・クラスと呼ばれる、C++のイディオムを使うと、型を返す関数(型関数)が作れます。型関数はテンプレートを利用して実現されていて、コンパイル時に実行されることになります。下の例だと、構造体input_typeがトレイト・クラスにあたり、InputType(型…
1月はHello Algorithmを作っていたこともあって、blogのエントリもほとんどそれに関するものです。もっとオープンな技術に関する記事を書きたいのですが、勉強不足になりました。1月は、いくつか機能を追加することには成功しましたが、2月はUIを改善したい…