https://twitter.com/kinaba のログ (twilog の方が便利です。)
新社会人のためのバグレポートの基本 http://alpha.mixi.co.jp/blog/?p=5864 読んでた。良い記事。あとは、まずは一つも"推測"を交えずに事実の列挙だけでこの1,2,3を書くように注意、くらいかなあ。 | |
入社試験的なもの、いくつか問題を出してコーディングさせるよりもいくつか問題のあるソフトを使ってもらってバグレポートさせる方がプログラミング力見られるのではないか | |
@tsukuno プログラミング力というとまあ曖昧だったが、アプリ書いたことあるかないかを見たいということはあると思うし、経験的にコード書かせるよりバグレポ書かせた方が差が出る気がしている | |
@caesar_wanya はい、開発経験があるということはどういうバグレポートなら嬉しいか、を経験しているということでしょうから一つの重要な要因だと思います。その辺含めて曖昧にプログラミング力と言っていました。 | |
ViewVC、ディレクトリは名前をクリックすると今のリビジョンの中身を表示してリビジョン番号をクリックすると履歴を出すけど、ファイルだとそれが逆、という挙動にはいかなるメリットがあるとお考えなのだろうか http://src.chromium.org/viewvc/chrome/trunk/src/ | |
@tmiya_ 遅レスですけども私も最近それがまさに気になっていました。http://twitter.com/kinaba/status/173607895110385665 http://twitter.com/kinaba/status/173608724265570304 http://twitter.com/kinaba/status/174465148348674048 http://twitter.com/kinaba/status/174534838068588544 | |
@tmiya_ http://dl.acm.org/citation.cfm?doid=1328438.1328445 みたいな多相型による方法and/or形式言語パワーによって少なくとも有限集合で完全なテストは可能な範囲は結構広いなあというところまで考えて止まっています。関連して教えてもらった話 https://t.co/tEWy57SD | |
@tmiya_ と論理回路方面の話 http://en.wikipedia.org/wiki/Automatic_test_pattern_generation などを眺めてましたが、そのものズバリこれだ!というのは私もよく知らず… カバレッジ系の話は完全を目指すものではないよなあと思って特に追ってなかったんですが、そちらでもあるのですかね。 | |
正しさの保証はテストでやった方がいいし設計の駆動は型でやった方がいいと思っています(n度目 | |
そういえばそれを考えてたらこの前の論文でopen problemでfuture workということにしたものが解けたような予感がしたのだった、あとでちゃんと考えないと | |
みなさん | |
『文章読本』http://www.amazon.co.jp/dp/4122025354 が楽しい。どうしよう | |
「私は、文章に実用的と芸術的との区別はないと思います。」 読みながら次はこれについて考えたいなと思っている通りに語りが展開して隙間なくトピックの空間を埋めていく本は読んでいて気分が爽快ですね。そう誘導されているともいうし、この本で指南されていることがそのまま実践されているともいう |