自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
懐かしの友人と楽しもう。オンラインTRPGプラットフォーム·どどんとふ＠えくすとりーむ MOONGIFT
どどんとふ＠えくすとりーむはオンラインでTRPGを楽しむためのサービスです。 TRPG（テーブルトークRPG）は何人か集まって話をしながら楽しむゲームですが、参加者が集まれないと遊べないのが難点です。そこでTRPGをオンラインで実現しようと言うサービスがどどんとふ＠えくすとりーむです。 トップです。部屋が並んでいます。 部屋の中です。TRPGを行うためのボード、ダイスがあります。ダイスを実際に転がすこともできます。 共有メモを使ってルールなどを書いておくこともできます。 背景画像は変更できます。 部屋にはパスワードをかけられます。 こんな感じのいい雰囲気の部屋も。 どどんとふ＠えくすとりーむではキャラクターを動かしたり、魔法の効果範囲を設定する、イニシアティブ表示、チャット、カード、ダイスといった機能があります。これだけあればネットさえあればいつでもTRPGを開始できそうです。 どどんとふ
)
デザインパターン (ソフトウェア) - Wikipedia
ソフトウェア開発におけるデザインパターンまたは設計パターン（英: design pattern）とは、過去のソフトウェア設計者が発見し編み出した設計ノウハウを蓄積し、名前をつけ、再利用しやすいように特定の規約に従ってカタログ化したものである。パターン（pattern）とは、型紙（かたがみ）やひな形を意味する。 本稿でのデザインは狭義の設計という意味であり、CSSやHTMLなどで使われる意匠デザインの定形を示す「デザインパターン」とは異なる。 概要[編集] 書籍『オブジェクト指向における再利用のためのデザインパターン』において、GoF (Gang of Four) と呼ばれる4人の共著者は、デザインパターンという用語を初めてソフトウェア開発に導入した。GoFは、エーリヒ・ガンマ、リチャード・ヘルム、ラルフ・ジョンソン、ジョン・ブリシディースの4人である。彼らは、その書籍の中で23種類のパター
jQTouchプラグインのスクロールライブラリ·TouchScroll for jQTouch MOONGIFT
TouchScroll for jQTouchはiPhone向けWebアプリ開発基盤として使えるjQTouch用プラグイン。 [/s2If] TouchScroll for jQTouchはJavaScript/jQuery用のオープンソース・ソフトウェア。jQTouchによってiOS向けの最適化サイトをローカルアプリのように動作させられるようになった。だがページ切り替えをした時にURLを切り替えていたら幻滅してしまう。 色々な切り替わりを用意している コンテンツの取得にAjaxを使うのはもちろん、ページの切り替えにも気を配りたい。もしjQTouchを活用してiPhone向けWebサイトを作っているならば一緒に活用したいライブラリがTouchScroll for jQTouchだ。 TouchScroll for jQTouchはかなり便利なライブラリといえそうだ。ページ切り替えの際にアク
GIMP始めの一歩 | GIMP初心者向けサイト
Infomation 当サイト「GIMP初めの一歩」は、 無料グラフィック編集・加工ソフトウェア「GIMP」の 基本操作説明など、初心者向けのGIMPビギナーズサイトです。 自分のサイト・ブログの画像を自作したかったけど イマイチGIMPの使い方が解らない･･･とか とにかく、これからGIMPを始めようとしている 沢山の方々のご参考になればと思います。 News & Update
Sublime Text
Effortlessly Split Panes and Navigate Between Code With the new Tab Multi-Select functionality, tabs become first-class citizens in the interface. A simple modifier when performing actions will split the interface to show multiple tabs at once. Works with the side bar, tab bar, Goto Anything and more! What’s New Sublime Text 4 is packed with new features and enhancements, including: GPU Rendering
プログラムの脳へのロード時間短縮に関する努力
こんな記事を見かけた。ちょっと昔の記事だけど。 頭の中にプログラムを入れる http://www.aoky.net/articles/paul_graham/head.htm ハッカーと画家のポール・グレアム氏の文で、プログラマは頭の中にプログラムをロードしてからコードを書く。このロードという処理はかなり時間がかかるので、ロード回数を減らすこと、ロードの負荷を減らすことが大切だと語られている。 確かにプログラムを脳にロードするのは時間がかかる。そして一度ロードしたコードはいとも容易く頭から抜けていく。昨日書いたコードくらいならだいたい覚えていられるが、休日明けの月曜日になると前週ロードしたコードは半分以上失われてしまう。ゴールデンウィーク明けなんて綺麗にフォーマットされた状態になってしまう。他のプログラムを触って帰って来ると、短時間で自分が書いていたコードの情報が抜け落ちてしまうこともある
2012年に開発者が学ぶべき10のスキル
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます ここ数年、ソフトウェア開発の世界は比較的穏やかだった。しかし、HTML5が地歩を固め、Windows 8がWindowsの開発シーンに大きな変化を迫っている今では、ジェットコースターの日々が戻り、スピードはますます上がってきている。もし最先端に居続けたいのなら、少なくともこの記事で挙げる10のソフトウェア開発スキルを身につけることを検討すべきだ。 1．モバイル開発 モバイル開発を学ぶのに時間を割く価値などないと考えているのなら、考え直した方がいい。2011年のAndroid携帯の世界出荷台数は、ほとんどPCの販売台数と同じだ。他の有名なモバイルデバイス（iPhone、iPad、そして「瀕死状態」のRIMデバイス）を加えれば、販売台数で見
Synclogue（シンクローグ）
移動先でもオフラインでも、どのパソコンからでもいつものアプリケーションを呼び出せる ・すべてのパソコンを、常に同じ環境で使えます。 ・オフラインでもアプリケーションを使えます。 ・もしパソコンが壊れたとしても安心です。 いつも使っているアプリの設定を簡単に同期 TwitterやRSS設定を同期 RSSリーダー、Twitterクライアントを同期することで、どのパソコンでも同じアカウント設定、お気に入りのカスタマイズで使用できます。 いつもの開発環境を同期 いつも使っている開発環境を同期することで、どのパソコンでも同じ設定のまま開発ができます。 メーラーの設定を同期 メーラーを同期すると、アカウント設定や署名の設定など細かい設定をし直す必要がなくなります。 ※現在β版のため、利用できるアプリや機能が限られています。
多数のデジカメに対応したRAWデータ現像ツール「UFRaw」 | OSDN Magazine
デジタル一眼レフカメラの普及に伴い、RAW形式での写真撮影もだいぶ一般的となった。RAW形式はデジカメ内部で画像処理がされていない生のデータなので画質の劣化がなく、パソコンに取り込んでからも自由に画像処理できる半面、専用のソフトを使って「現像」作業を行う必要がある。しかし一口にRAW形式といっても、フォーマットはカメラメーカーや機種によってバラバラなので現像ソフトもそれぞれ違い、取り扱いが非常に不便だ。特にメーカーが違う複数のデジカメを使っていたり、デジカメを買い換えたりすると大きな問題になる。そんなときに使いたいのがオープンソースの現像ツール「UFRaw」だ。 UFRawはキヤノン、カシオ、富士フイルム、ミノルタ、ニコン、オリンパス、パナソニック、ペンタックス、ソニーなど多数のカメラメーカーが使っているRAWデータに対応しており、すべて同様の操作で現像できる。しかも機能は非常に豊富で、露
「ぼくはこうしてプログラミングを覚えた」をどう読みましたか？
フェイスブックでエンジニアをやっていた方の面白い話があった。 「ぼくはこうしてプログラミングを覚えた」 フェイスブックのエンジニアで史上ベスト３に入るといわれるEvan Priestley氏への質問「どうやってプログラミングを覚えましたか」に対する本人からの答えです。 という話 コードの質がフェイスブックの強みであったことはないが、２００７年のフェイスブックのコードはグローバル変数とextract関数にまみれたヒドいものだった。 この「質v.s.スピード」という概念は根本的に間違っていると思う。だって素早く開発をしなくては環境、あるいは自分の環境の理解の変化にソフトウェアがついてこれず、ソフトウェアが解決すべき問題が解決できなくなり、必然的に質が落ちてしまう。逆に、質の高いソフトウェアを書かなくては、なにかある度にインフラが崩壊し、素早く開発をすることができなくなってしまう。インフラの崩壊
MeTilTranとeTilTranの使い方とか設定[Tips]
自分用のメモですが、機能の詳細についてまだ分からない部分が多いので実験しながら書いています。 MeTilTranの方が使う機会は多いのでMeTilTran中心です。 再配置の簡単な流れ(いつもやってるような流れ) 画像を読み込んで多くのページのノンブルが正しく認識されているかを確認する。 ノンブルが認識されてないページ(挿絵以外で)を探し、有効領域がノンブルと本文をごっちゃにしているときは グループ編集で本文のみを有効領域で覆う。(再認識すると元に戻る) ページ編集に戻し、本文がおかしくないかを確認 段のとこをみておかしな数(1ばかりの中に2が混じってたり)を探して、 ノンブルを本文と認識している場合は切り離す(2の方法と同じ) また角度を調整したりして再認識する。 適当なページでプレビューをして、好きなレイアウトに合うように調整する。 自分的にはウィザードで文字サイズ、行数と字数を決めて
![MeTilTranとeTilTranの使い方とか設定[Tips]](https://cdn-ak-scissors.b.st-hatena.com/image/square/b26f7dc8f9e783316f720174980e93c627438d74/height=288;version=1;width=512/https%3A%2F%2Fefcl.info%2Fpublic%2Ffavicon.png)
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Glorylogic - Desktop Software and Free Utilities for Windows
無料で使えるAdobeCS3の代替ソフト - DesignWalker
サービス終了のお知らせ
最前面でポーズ - Pauseキーでウィンドウを最前面に表示