About GParted is a free partition editor for graphically managing your disk partitions. With GParted you can resize, copy, and move partitions without data loss, enabling you to: Grow or shrink your C: drive Free up space for new operating systems Create partitions to share data among operating systems Discover More Learn why partition your disk device. Explore the documentation and FAQ. Get help
Rapid Application Development(ラピッド・アプリケーション・デベロップメント、RAD)とは、ソフトウェアの開発を容易にする仕組みの1つである。ユーザーを含む少人数のチームで開発を進め、プロトタイプを作ってそれを評価するというサイクルを繰り返すことで、完成品に近づけていく。 統合開発環境(IDE)のような高機能な開発環境によるプログラミングの半自動化や、視覚的なユーザーインターフェイス(操作画面)の設計、モジュール開発などの機能を備える。 GUIを持つ一般的なソフトウェアの開発を例に取ると、RADではない開発ツールを用いて開発した場合、ウィンドウを一つ表示させるだけでもかなりの量のソースコードが必要になるが、RADツール、例えばVisual BasicやInterface Builderなどを用いた場合、プログラマがソースコードを書かなくても、GUI部品を視覚的に
[速報]Google、「Managed Virtual Machines」発表。Google App Engine内で仮想マシンを管理 Google App EngineのようなPaaSは、運用の手間をかけることなくスケーラブルな環境を利用できる一方で、PaaSが提供する言語や環境という制約を受け入れる必要があります。一方で、自由にOSやプログラミング言語、実行系を選択できるIaaSでは、スケーラブルなアーキテクチャを開発者が構築、運用する必要があります。 PaaSによるマネージドな環境とIaaSの柔軟性を両立させようというのが、Googleが3月25日(日本時間3月26日早朝)に開催したイベント「Google Cloud Platform Live」で発表した「Managed Virtual Machines」です。
マイクロソフト、「MS-DOS」と「Word for Windows」のソースコード公開。コンピュータ歴史博物館への寄贈で 米マイクロソフトは、同社が1982年にリリースしたIBM-PC向けオペレーティングシステムの「MS-DOS 1.1」および1983年の「MS-DOS 2.0」と、1990年にリリースしたWindows向けワードプロセッサの「Word for Windows 1.1a」のソースコードを、米カリフォルニア州マウンテンビューにあるコンピュータ歴史博物館に寄贈したことを明らかにしました。 同時に、この2つの製品のソースコードが同博物館のWebサイトで公開されました。 MS-DOSは、IBMが当時開発していたPCのためにマイクロソフトが開発したOSで、同社がPCのOS市場で圧倒的なシェアを築く礎となったソフトウェア。 Word for Windowsは、Windows用のワード
米マイクロソフトは同社のクラウドサービス「Windows Azure」の名称を「Microsoft Azure」に変更すると発表しました。日本マイクロソフトのエバンジェリスト佐藤直生氏のブログでも「「Windows Azure」から「Microsoft Azure」へ」というタイトルで紹介されています。 名称変更は2014年4月3日から。 Windows Azureがオープンなクラウドであることを示す Windows Azureはその名称が示すように、登場時からずっと、Windowsとの高い互換性を利点としてきました。しかしクラウドの世界ではWindowsだけでなくLinux OSやそのうえで動くさまざまなオープンソースソフトウェアの重要性も高まってきており、マイクロソフトもこの数年、Windows AzureのうえでLinuxやオープンソースソフトウェアへの対応を積極的に進めてきています
単なる集合に離散位相を入れれば位相空間とみなせます。つまり、Setを集合圏、Topを位相空間の圏として、Disc:Set→Top という埋め込み関手があるわけです。埋め込み関手Discの像である圏をDiscとしましょう; Disc = Disc(Set)、Disc⊆Top。 圏Topの部分圏で、Discを含むようなものCがあったとします。Disc⊆C⊆Top。この圏C上でうまいこと「コンパクト化」関手 K:C→C が定義されているとします。すると、JとKをこの順で結合した (J;K):Set→C は「集合のコンパクト化」を与えることになります。 Cとして正規ハウスドルフ空間(と連続写像)の圏NormHousを取り、コンパクト化関手Kとしてストーン/チェック/ウォールマン・コンパクト化を使う場合を次の記事で紹介しました。 超フィルターモナドの位相的な解釈 もっと簡単なコンパクト化の方法はない
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く