『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
OmniGraffle - Wikipedia
OmniGraffle (オムニグラフ) は、OmniWeb などを開発・販売する The Omni Groupによる macOS及びiOS用のダイアグラム作成ソフトウェアである。その源流は、The Omni Groupと提携していた米ライトハウスデザイン社 (en:Lighthouse Design) により開発されたNEXTSTEP用アプリケーション「Diagram!」に遡る（そのため、同じソフトウェアを祖先として持つMicrosoft Visioもほぼ同様の機能を持つ[1]）。 macOS用ソフトとして最初期から、プラットフォームにマッチしたルック・アンド・フィールのグラフィカルユーザインタフェース (GUI) による優れた操作性を実現している。また「ステンシル」と呼ばれる図形部品のライブラリをユーザーが自由に作り、公開することができる。macOSのフレームワークを使って多言語対応し
意外と知らないバージョン表記・数字の豆知識
「Java News.jp（Javaに関する最新ニュース）」の安藤幸央氏が、CoolなプログラミングのためのノウハウやTIPS、筆者の経験などを「Rundown」（駆け足の要点説明）でお届けします（編集部） ちまたにあふれるバージョン表記 少し前に「Web 2.0」「○○2.0」という表記が流行したのを覚えていますでしょうか。よく見かける広告のコピーにも、最近では「バージョンアップ」という言葉が普通に使われています。バージョンや、バージョン表記は、ソフトウェアの世界だけでなく、ごくごく一般化したように思えます。しかし実際には、どういう意味か分からないのが、バージョン表記です。 アプリケーションソフトウェアの開発は、さまざまな状態／段階を経て完成します。その段階／状態と、リリース後の状態／段階を示したのが、バージョン表記です。 例えば、数字以外でも、以下のような表記を見かけたことはありません
ネットが通常の3倍速くなる驚異のローカルプロキシを導入 :教えて君.net
大量のファイルを開いたりダウンロードするときにネットがどうも重いということがある。また海外の画像サイトなどを見ていると反応が悪くページがなかなか表示されない。ローカルプロクシソフト「Polipo」を使ってみよう。 ローカルプロクシというと広告を消すなどの目的をイメージするが、ネットワークの高速化を目的に作られたツールだ。ブラウザのキャッシュと同様に一度見たページのデータをキャッシュして表示を速くするほか、「パイプライン」という仕組みを使って1回の接続で複数のファイルを転送でき、ページの表示速度をアップさせられる。サーバ側で同時接続数が制限されていてもスムーズにファイルを表示できる可能性があるぞ。もともとマックのネットを3倍速くするという触れ込みで注目を集めたツールだが、現在では「Solipo」というウインドウズ用のフロントエンドが登場しておりXPでも手軽に使える。特に国外の激重サーバなどで
海外のソフトウェアのダウンロードサイト【アルテック】
2024年05月20日【新着情報】VirusTotal Basic Add-on 新規取扱停止について をブログに掲載しました。2024年05月15日【新着情報】AG Grid v31.3がリリースされました。新機能をブログでご紹介しています。2024年05月09日【Q&A】「CKEditorを1年半使用したいとなった場合は2年分の購入が必要になるのでしょうか?または1年半で購入が可能なのでしょうか?」をブログに掲載致しました。2024年05月07日【新着情報】オンデマンドとライブ学習を提供する学習ポータルMaltegoアカデミーをブログでご紹介しています。2024年04月22日【Q&A】「UaExpertを使用していますが、PCを新しくする場合どのように移行すればよいでしょうか?」をブログに掲載致しました。2024年04月19日産業用通信プロトコルであるOPC UAを実装し、ユニバーサル
UWSC辞典
使い方 UWSC本体とPro版に付随するRecIE・UWSC Debugger・Uws2Exeの使い方の説明です。 スクリプト UWSCで使える構文や関数など。 COMオブジェクト 外部のアプリケーションを操作します。 自作関数 管理人が作成した自作関数を一覧にしたページです。サンプルプログラムで利用しているすべての自作関数を掲載していますので、ぜひ活用してください。 DOM HTML文書を操作します。 DLL DLLとはプログラムの実行時に必要な機能を含んでいるライブラリファイルであり、複数のアプリケーションで同じ機能を共有することができます。 人気記事KBD関数 (スクリプト関数)スクリプト関数UWSCで使えるスクリプト関数の一覧です。使い方UWSC本体とPro版に付随するRecIE・UWSC Debugger・Uws2Exeの使い方の説明です。GETID関数 (スクリプト関数)指定し
遊雅堂（ゆうがどう）の特化ブログ
＼今だけ!無料で3000円をGET!!／ 遊雅堂に 今すぐ無料登録する！ ここから登録で当サイト限定ボーナスをGET！
Omega for Enterprise
An Artificial Intelligence (A.I.) platform built to be contextual and proactive, providing businesses the tools to develop human-like conversational experiences. The Omega platform is AN infrastructure, a device and is channel-agnostic, offering voice, text, and rich accessible customer experiences. Omega uses proprietary technology to help machines understand natural language. The core engine enc
Omokawa Software
ソフトウェア Option Operator for Windows XP Windows XP 用のカスタマイズソフト WinAlter Windows 95/98/98SE/Me 用のカスタマイズソフト 更新情報 2008年06月11日Option Operator 1.52 for Windows XP 公開しました。 2008年06月10日Option Operator 1.51 for Windows XP 公開しました。 2008年06月07日Option Operator 1.5 for Windows XP 公開しました。 2008年03月15日Option Operator 1.5 Beta 1 for Windows XP 公開しました。 2007年04月29日Option Operator 1.4 for Windows XP 公開しました。 2007年04月22日O
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
お得ＷＥＢ／おすすめフリーソフト
All-In-One Project - All-In-One Project
EdMaxのホームページ
http://www.sra.co.jp/people/akira/vnc/