プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
Chrome上で動作する個人用プロジェクト管理·Contextinator MOONGIFT
Contextinatorはタスク、メール、メールアドレス、URLを一元管理する個人用プロジェクト管理です。 個人のプロジェクトを管理しようと思った時にまず行いたいのが関連する情報の一元化です。今回はそれを実現するGoogle Chrome機能拡張Contextinatorを紹介します。 インストールしました。 まず最初にプロジェクトを作成します。 プロジェクトのメイン画面です。タスク画面です。 アプリケーション設定画面です。Gmail/Dropbox/Evernote/Google Docs/TrelloのURLが指定できます。 開いているタブを一覧する機能もあります。 Overviewでは全てのプロジェクトを横断的に見られます。 Contextinatorではタスク、メール、ブックマーク、メールアドレス、タブを一元管理できます。メールではGmailのラベルを使って未読のメールを表示した
ガントチャートやWBSを備えたWebベースプロジェクト管理·LibrePlan MOONGIFT
LibrePlanは中〜大規模開発において有効なWebベースのプロジェクト管理です。 LibrePlanはまるでローカルアプリケーションのようなリッチなUIをもったWebベースのプロジェクト管理システムです。 ログインします。 ダッシュボードです。格好いいガントチャートが表示されています。 タスク同士の関連性も表現されています。 WBSです。 タスクの詳細です。 ワーカー一覧です。 どの機能もメニューから素早くアクセスできます。 ワーカーレポートです。他にも多様なレポートが揃っています。 主な機能としてはリソースマネジメント、WBS/ガントチャートを用いた計画表、各タスクのモニタリング、進捗度合いのトラッキング、APIを使ったデータ共有などとなっています。十数名くらいのプロジェクト規模であれば使いやすいのではないでしょうか。 LibrePlanはJava製のオープンソース・ソフトウェア（G
寄付をしてもよいと思えるオープンソースプロジェクト10選
ほんの少し寄付するだけで、オープンソースプロジェクトに多大な貢献を行うことができる。本記事ではそういった寄付を行うにふさわしいプロジェクトを10個紹介している。 筆者は最近執筆した「The importance of donating to open source projects (and a giveaway!)」（オープンソースプロジェクトに寄付をすることの重要性［賞品が付くことも！］）という記事において、筆者お気に入りのオープンソースプロジェクトの1つであるBodhi Linuxに対する寄付を募った。また同記事において、オープンソースプロジェクトに寄付を行っているかどうかについてのアンケートも実施した（図Aを参照）。この記事を執筆した後、筆者は寄付を行うに値する素晴らしいオープンソースプロジェクトが他にも数多くあることに気付いたのである。そこで本記事では、そういったオープンソースプ
Sakai Project - Wikipedia
Sakai Project は世界の大学や営利団体などによって進められている、教育用のソフトウェアを開発するプロジェクトである。この団体により開発されている教育用ソフトウェアはSakaiと呼ばれており、その用途として教育、研究および共同作業が挙げられる。Sakaiの利用は無料であり、Education Community Licenseとよばれる一種のオープンソースにより現在も開発が進められている。 Sakaiは一般にCMS(Course Management System)やLMS(Learning Management System)、VLE(Virtual Learning Environment)などと呼ばれる分野のソフトウェアであり、Java言語で記述されている。また本ソフトウェアは拡張性、信頼性、伸張性を備えて相互運用が可能なように開発されており、Version1.0は2005
Androidならこんな形でもネットワーク同期できる·RsyncDroid MOONGIFT
RsyncDroidはAndroid用のrsyncフロントエンド。 RsyncDroidはAndroid用のオープンソース・ソフトウェア。AndroidはJailBreakのような面倒なことをしなくても色々とシステム内部に手が入れられる自由なデバイスだ。無理にアプリを使わなくともターミナルを使って操作もできる。 メイン画面 Android内にあるデータのバックアップを取ったり、外部からデータを取得したいならばアプリに頼らずrsyncを使ってしまうのはどうだろう。そのキックにはRsyncDroidが有効だ。 RsyncDroidはGUIベースのryncフロントエンドだ。rsyncには様々なオプションがあるのでRsyncDroidを使ってオプションを記憶しておけるのは便利かもしれない。なおRsyncDroidにはryncは付属しておらず、別途自分で用意する必要がある。 RsyncDroidを立
ZABBIX-JP - Documents - 統合監視ソフトウェア比較表
Counter: 3705, today: 23, yesterday: 0 Last-modified: Tue, 19 Feb 2008 23:12:23 JST (251d)
自宅で簡単に巨大なポスターを作る·PosterDivider MOONGIFT
PosterDividerは画像やPDFファイルを分割し、大きなポスターなどを作成できるようにする。 PosterDividerはWindows/Mac OSX用のオープンソース・ソフトウェア。気に入った写真やイラストを大きく印刷して部屋に飾りたいと思ったことはないだろうか。またイベントなどで幕を張るために大きな印刷物を必要とするケースもある。 メイン画面 そんな時、家庭用のプリンタではせいぜいA4くらいの大きさまでしか印刷できない。オフィスでもA1くらいまでだろう。その限界を越えて大きな印刷物を作成する際に使えるのがPosterDividerだ。 PosterDividerは一つの画像やPDFファイルを数ページに分割するソフトウェアだ。拡大してくれるので、生成されたファイルを印刷し、結合させれば巨大な印刷物ができあがるといった仕組みだ。貼付ける際ののり代も考慮されている。 出来上がったフ
Androidアプリを発表する際のお供に。画面をPCに映し出す·Android Screen Monitor MOONGIFT
Android Screen MonitorはAndroidの実機、エミュレータの画面をモニターするソフトウェア。 Android Screen MonitorはJava製、Windows/Mac OSX/Linux用のオープンソース・ソフトウェア。2010年から引き続きスマートフォンが熱い。日々ニュース、新しいソフトウェアが登場し話題になっている。Android 3.0やiPad2など話題にも事欠かない。 画面を映している所 今だからこそ、アプリをリリースするとパブリッシングにおいても優位になる。そのためにはアプリ操作のデモやプレゼンテーションを行う必要がある。そこで役立つであろうソフトウェアがAndroid Screen Monitorだ。 Android Screen MonitorはAndroid SDKのadbを使い、AndroidエミュレータやUSB接続された実機の画面を表示す
パスワードロックもできる、Windows用PDF作成仮想プリンタ·CubePDF MOONGIFT
CubePDFはWindows用の仮想プリンタとして動作するPDF作成ソフトウェア。 CubePDFはWindows用のオープンソース・ソフトウェア。PDFはビジネス上、欠かすことのできない文書フォーマットになっている。閲覧するだけでなく、作成することも容易にできるようになっており、Windowsにおいてはプリンタドライバを介して作成されることが多いようだ。 メイン画面 仮想プリンタを介することで、印刷する手順でPDFを作成し保存できる。その時に欲しい機能はパスワードをつけたり、特定の機能について使えないようにするといった操作だろう。そうした機能を網羅し、なおかつ無料で使えるソフトウェアがCubePDFだ。 CubePDFはGhostscriptやRedMon、iTextSharpといったオープンソース・ソフトウェアを組み合わせつつ、GUIインタフェース上からPDFを作成するソフトウェアだ
MOONGIFT Windowsでファイルへのアクセス状況を可視化する「Moo0 FileMonitor」 オープンソース・ソフトウェア/フリーウェアを毎日紹介
Moo0 FileMonitorはWindows用のフリーウェア。コンピュータを操作していると突然HDDへのファイルアクセスが発生し、速度が低下したり、しばらく操作が待たされたりすることがある。これは相当なストレスに感じることだろう。 意外とアクセスは多い 大抵はウィルスチェックやセキュリティアップデートが行われた時などだが、ファイル共有への不正なアクセスや、思っても見なかったプログラムがファイルを作成しているかも知れない。それをモニタリングできるのがMoo0 FileMonitorだ。 Moo0 FileMonitorは起動しておくだけでHDDへのファイル作成、書き込み、リネーム、削除といったアクションをモニタリングできる。予想以上にアクションが行われると思われるので、常時起動しておくものではなさそうだ。 ドライブやアクションごとにモニタリングを有効/無効にすることもできる。さらにログを
高性能、Windowsにマッチしたマインドマッピング·Telerik Bookvar MOONGIFT
Telerik BookvarはWindows用のオープンソース・ソフトウェア。考えを整理する時、マインドマッピング（いわゆるマインドマップ）はとても便利な存在だ。思いつくままにトピックを広げていき、関連する情報を見いだしたり、新しい見方ができるようになる。 快適なインタフェース 幾つかのマインドマッピング作成用ソフトウェアがあるが、Telerik Bookvarは非常に優秀でユニークなソフトウェアだ。Windowsユーザでマインドマッピングに興味のある方はぜひチェックしてみてほしい。 Telerik BookvarはWindowsのインタフェースにマッチしたデザインで、リボンバーを使っていて分かりやすいUIになっている。ノードをドラッグすると他のノードも関連して動作したりして面白い。サブトピック、フローティングトピックの作成も可能だ。 パブリッシング処理中 ノードには画像や動画、リンク、
知らないデバイスを検索·Unknown Devices MOONGIFT
Unknown DevicesはWindows用のオープンソース・ソフトウェア。WindowsとMac OSXを比べたときに圧倒的に違うのがサードパーティ製デバイスの量だ。グラフィックスカードやサウンドボードなどの内部向け、スキャナや外付けのメディアデバイスなどはたいていWindows向けから投入される。 デバイス情報を探索 しかし対応ハードウェアが増えると、Microsoftがすべてを把握するのは難しくなる。そのため、時折接続したのはいいが、不明なデバイスとして認識されることも多い。ドライバを持っていればいいが、ネットから探さないといけない時にはUnknown Devicesを使ってみよう。 Unknown Devicesは大量のデバイスデータベースをもとに接続デバイスを検索するソフトウェアだ。GUI画面に接続されているデバイスが一覧になって表示されるので、そこから該当するデバイスを探し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
