現在ログオン中のユーザー名を調べる
解説 多数のユーザー・アカウントを使い分けている場合や、コンピュータのトラブルシューティングを行う場合など、現在どのユーザー・アカウント（ドメイン・アカウントか、ローカル・コンピュータ・アカウントかの違いも含む）でログオンしているかを調査する必要に迫られることがある。ユーザー・アカウントごとに可能な操作や権限が異なっているし、特定のユーザーにしか使用を許可しないようになっているかもしれないからだ。 本TIPSでは、現在どのユーザー・アカウントでログオンしてコンピュータを使用しているかを調べる方法について解説する。 操作方法 ●「Windowsのセキュリティ」ダイアログで確認する方法 現在ログオンしているユーザー名を確認する一番簡単な方法は、［Ctrl］＋［Alt］＋［Del］キーを押して、「Windowsのセキュリティ」ダイアログを表示させることである。このダイアログの［ログオン情報］のと
TortoiseSVN 日本語ドキュメント
図の一覧 1.1. バージョン管理外フォルダーの TortoiseSVN メニュー1.2. インポートダイアログ1.3. ファイル差分ビューアー1.4. ログダイアログ2.1. 典型的なクライアント/サーバーシステム2.2. 回避したい問題2.3. ロック・変更・アンロックモデル2.4. コピー・変更・マージモデル2.5. ...コピー・変更・マージモデル（の続き）2.6. リポジトリのファイルシステム2.7. リポジトリ3.1. バージョン管理外フォルダーの TortoiseSVN メニュー4.1. エクスプローラーのアイコンオーバーレイ表示4.2. バージョン管理下のフォルダーのコンテキストメニュー4.3. バージョン管理されたフォルダー内のショートカットに対するエクスプローラーのファイルメニュー4.4. バージョン管理下のディレクトリに対する右ドラッグメニュー4.5. 認証ダイアログ
TortoiseSVNの使い方
「TortoiseSVNのインストールと設定」までで TortoiseSVNを使う準備ができました。 このページでは実際にTortoiseSVNを用いてバージョン管理システムを実際に使っていきます。 バージョン管理の流れ バージョン管理システムでソースやドキュメント類を管理するに当たっての 大まかな流れとしては以下の二通りが考えられます。 コピー・修正・マージモデル コピー・修正・マージの手法では、複数のユーザーが平行してソースやドキュメントを 修正できます。 同時に修正できるため、他のユーザーと修正部分が重なる場合もあります。 この場合、ユーザーが手動で衝突部分を編集し、「衝突」を解消する必要があります。 この手法だと衝突だらけになるのではと思うかもしれませんが、リポジトリ利用者の間で ちょっとコミュニケーションをとっていれば、そんなに衝突だらけにならないものです。 ただ、バイナリファイ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
窓の杜 - 【NEWS】MS、最大15人でデスクトップを共有できる「SharedView」Beta 2 英語版を公開
Microsoft Corporationは、最大15人で同時に1つのデスクトップを共有できるソフト「Microsoft SharedView」のBeta 2 英語版を公開した。Windows XP/Server 2003/Vistaに対応するフリーソフトで、現在同社のダウンロードセンターから入手できる。 「Microsoft SharedView」は、1台のPCのデスクトップを複数のユーザーで共有し、閲覧や操作ができるソフト。異なるネットワーク上のユーザー同士でも、特別な設定を必要とせず手軽にデスクトップを共有できるのが特長だ。最大15ユーザーの同時アクセスに対応しており、そのうち任意の1ユーザーが共有デスクトップを操作できる。ほかのユーザーはデスクトップ上にマーカー線を描き込むことが可能で、ユーザー同士のテキストチャット機能も備えている。 たとえばPCに詳しいユーザーが、ほかのユーザー
画像のリサイズも超簡単に出来る画面キャプチャーソフト
組織のマインドマップツールをマインドマイスターにすべき理由 伸びてる産業、会社、事業を紹介しまくるStrainerのニュースレターに登録!! Gadwin PrintScreenのダウンロード まずはキャプチャソフトのダウンロード↓ http://www.gadwin.com/download/index.htm#PrintScreen 日本語化ソフトの入手はこちら↓ http://tiltstr.seesaa.net/article/39634883.html 落とした２つのzipファイルを解凍して、日本語化ファイルの「Japanese.lng」を、ソフトを解凍してできた「PrintScreen」フォルダに入れてあげれば完了。 Gadwin PrintScreenの設定 日本語化しておけばあとは簡単です。 ルーティンで同じ画像サイズを使う場合には画像のサイズを幅、もしくは高さで指定してお
印刷結果を画像ファイル化する仮想プリンタ「Virtual Image Printer driver」
マイクロソフトのユニバーサルプリンタドライバをベースにオープンソースで開発されており、印刷用のドライバとしてインストール可能。出力はBMP・PNG・JPEG・TIFF・PDFの各形式で可能。印刷結果を事前に画像ファイルとして確認できるので、印刷プレビューのないソフトなどから印刷する際にかなり便利。また、印刷結果がそのまま画像ファイルになるので加工も自由自在です。意外に便利なのでオススメ。 インストールと使用方法は以下から。 SourceForge.net: Virtual Image Printer driver 上記サイトからダウンロードしたZIPファイルを解凍すると「setup.exe」が出てくるので実行、「OK」をクリック 「Next」をクリック 「Install」をクリック インストール中 ドライバのインストールが始まるので「続行」をクリック 「Finish」をクリック すると自動
Microsoft Corporation
Microsoft Learn. Spark possibility. Build skills that open doors. See all you can do with documentation, hands-on training, and certifications to help you get the most from Microsoft products. Learn by doing Gain the skills you can apply to everyday situations through hands-on training personalized to your needs, at your own pace or with our global network of learning partners. Take training Find
＠IT：Security Tips -- ポートスキャナを使ってPCの存在を確認する
と入力すれば、192.168.1.1から192.168.1.250までの250IPアドレスのうち、現在どのマシンが稼働中かというのが確認できるわけだ。 例えば、以下のように表示される。 C:\Documents and Settings\園田道夫\My Documents\archives\nmap-3.48>nmap -sP 192.168.1.100-200 Starting nmap 3.48 ( http://www.insecure.org/nmap ) at 2003-12-06 18:35 東京 (標準時) Host 192.168.1.100 appears to be up. Host 192.168.1.102 appears to be up. Host 192.168.1.103 appears to be up. Host 192.168.1.110 appear
Vistaのセットアップを支える展開テクノロジー
Microsoftは、Vistaにおいてイメージベースのセットアップをサポートする新たなツールキットを提供する予定だ。しかし、依然として多数のコンピュータへの展開は複雑であり、イメージ作成およびテストには投資が必要だ。 Microsoftが提供するWindows Automated Installation Kit（WAIK）には、Vistaのセットアッププロセスをサポートするツールのほか、イメージベースの展開についてのドキュメントとガイダンスが含まれる。このキットは、コンピュータメーカーやシステムインテグレータに提供しているOEM Pre-installation Kit（OPK）と同じ性質のものだ。OPKはWindowsの導入や各メーカーのハードウェア製品へのWindowsのインストールの支援を目的としているが、WAIKはコンピュータメーカーやシステムインテグレータ、企業ITプロフェッ
第1回 ポート・スキャナ，使いこなせますか：ITpro
フォティーンフォティ技術研究所 取締役技術担当 金居 良治 ポート・スキャナは元々，リモート・ホストの開いているポートをスキャンするシンプルなツールだったが，最近は様々なセキュリティ関連機能が実装され，便利になっている。例えばリモート・ホストが搭載するTCP/IPスタックの挙動の違いなどからOS名を検出したり，簡単なぜい弱性チェックを実行したりできる。 半面，ポート・スキャナ自体は複雑になっている。ポート・スキャンという技術自体はシンプルなのだが，実はツールとしてのポート・スキャナを使いこなすことが難しくなっているのである。そこで本稿では，ポート・スキャナとして著名なフリーツールの「nmap」を取り上げ，その最新機能を技術面から解説する。 nmapはポート・スキャナとしてはもちろん，OS検出などの周辺機能が充実していることで有名である。OS検出エンジンのデータベースは非常に充実しており，商
Microsoft Learn: Build skills that open doors in your career
Microsoft Learn. Spark possibility. Build skills that open doors. See all you can do with documentation, hands-on training, and certifications to help you get the most from Microsoft products. Learn by doing Gain the skills you can apply to everyday situations through hands-on training personalized to your needs, at your own pace or with our global network of learning partners. Take training Find
Firefoxのマスターパスワードを回復するフリーソフト「FireMaster」 - GIGAZINE
Firefoxにはパスワードマネージャというものがあり、フォームに保存されたパスワードを一元管理できます。この際に「マスターパスワード」を作成すると、強力な暗号化アルゴリズムを使って、保存内容を暗号化します。 が、もちろんこのマスターパスワードを忘れると大変なことになります。そんなときに失われたマスターパスワードを探し当ててくれるフリーソフトが「FireMaster」です。 詳細は以下の通り。 FireMaster : The Firefox Master Password Recovery Tool - www.SecurityXploded.com http://securityxploded.com/firemaster.php FireMasterLinux : Linux Port of Firefox Master Password Recovery Tool - www.Se
faLog | Potrace
何となく気軽に描けるのとカチッとした線になるのが好きで、アンチエイリアシングの無い落書きをよく描くのですが、拡大して印刷したり解像度を変えて違うツールで彩色しようとすると、カクカクが面倒な事が多いです。 トレースしたり最初から高解像度で描き直したり、面倒な時はFlashでベクターに分解して使っていたのですが、potraceと言うツールでベクター化出来る事を知りました。 Potraceは幅広いOSに対応したラスタ→ベクタ変換ツールで、ソースコード、コンパイル済みのバイナリの他、OSXを使っているならfinkから(少しバージョンが古いですが)入手出来るようです。 使用はCUIでの操作が前提ですが、Windowsなら直接EXEファイルにD&Dでも変換でき、バッチファイルやAutomatorを使えばコマンドを意識するのも最初だけです。また、OSX用ですがGUIフロントエンドを配布している方
)
BgInfo
概要 これまでに、オフィスでコンピューターがある場所まで足を運んで、診断ツールのウィンドウをいくつもクリックし、コンピューターの構成に関する重要な情報 (コンピューター名、IP アドレス、オペレーティング システムのバージョンなど) を確認しなければならなかったことは、何回あったでしょうか。複数のコンピューターを管理している場合は、BGInfo を使用することをお勧めします。BGInfo では、コンピューター名、IP アドレス、サービス パックのバージョンなど、Windows コンピューターの関連情報をデスクトップの背景に自動的に表示します。すべてのフィールド、フォント、および背景色を編集できます。また、BGInfo を [スタートアップ] フォルダーに配置して起動時に毎回実行されるようにしたり、ログオン画面の背景に表示されるように構成することもできます。 BGInfo は新しいデスクトッ
プレゼン必携の画面拡大＆書き込みツール
プロジェクターを使ってプレゼン中に、Excelシートやデモしたいソフトウェアを、拡大表示できるツールがこの「ZoomIt」。線や矢印などを画面に書き込むこともできる。 プロジェクターを使ったプレゼンテーションで、新しいソフトウェアのデモや、Excelシートを開いて数字を見せる。そんなときに観衆から出てくる（または心に思っている）言葉は、「表が小さすぎて見えないよ……」ってことだ。 人によっては、Excelシートの拡大率をアップさせたり、フォントサイズを大きくしたり、いろいろ工夫をするかもしれない。しかし拡大できるアプリケーションはごくわずか。 どんなときにでも使える、画面拡大ツールを用意しておけば、プレゼンで不評を買うこともなくなる。 画面の拡大、マーカーの記入も可能な「ZoomIt」 米MicrosoftのTechNetからダウンロードできる「ZoomIt」は、まさにプレゼンテーションに
＠IT：Windows TIPS -- Tips：WFetchツールでWebサーバの応答を調査する
WebサーバとWebクライアント（Webブラウザ）間の通信には、HTTPというプロトコルが利用されている。Webブラウザ関連のトラブルシューティングやWeb関連のアプリケーション開発などでは、このHTTPによる通信の内容を調査しなければならないことがある。 このためには、例えば［管理ツール］にある［ネットワーク モニタ］を使えば通信内容の詳細を知ることができるが、これは非常にプリミティブなツールであり、HTTPとは関係ないパケットや、IPやTCPレベルでのパケットなども表示されるので、使いやすいとはいえない。かといって、いちいちtelnetツールなどでHTTPのポート（デフォルトではTCPの80番ポート）へ接続して通信し、HTTPのコマンドを入力して、その結果を解析するのも容易ではない。 このような場合には、HTTPプロトコルの解析を行う、専用のツールを利用するとよい。ツールにはいろいろな
Microsoft Learn: Build skills that open doors in your career
Microsoft Learn. Spark possibility. Build skills that open doors. See all you can do with documentation, hands-on training, and certifications to help you get the most from Microsoft products. Learn by doing Gain the skills you can apply to everyday situations through hands-on training personalized to your needs, at your own pace or with our global network of learning partners. Take training Find
twignature（トゥイグネチャー） / twitter用署名画像を自動生成するツール
Warning: imagefttext(): Could not find/open font in /home/creazynet/creazy.net/public_html/labs/twignature/index.php on line 60 twignature (beta2) -- トゥイグネチャー（ベータ2版） まずはこちらをご一読ください。 twignatureについて 生成フォーム username: image pattern: 生成画像 ※画像は直リンクせず、保存してから使って下さい。お願い！ 貼り付けサンプルコード <a href="http://twitter.com/username"><img src="http://labs.creazy.net/twignature/img/username.gif" alt="twitter / username"
Google対抗なのか？！ Microsoft Sync Frameworkの正体（1/2） - ＠IT
11月5日、米マイクロソフトはスペイン・バルセロナで開催した「Tech・Ed Europe: Developers」で、次の3つの重要な発表を行った。 Visual Studio 2008（英語版）と.NET Framework 3.5（英語版）が今月中（＝2007年11月中）に開発完了すること（※日本語版は今年末～翌年1月を予定） 無償マッシュアップ・ツール「Popfly」用のプロジェクトを作成するためのVisual Studio 2005アドオンである「Popfly Explorer」（アルファ版）の公開 アプリケーションに同期機能を追加するためのフレームワーク「Microsoft Sync Framework」（CTP版）の公開 本稿では、このうち、3のMicrosoft Sync Framework（以降、Sync Fx）の概要と機能内容について簡単に紹介し、実際に動かしてその挙動
.NET Framework 1.0 から .NET Framework 3.5 への移行(20071029) - Days with Microsoft Platform - Site Home - MSDN Blogs
Microsoft Visual Studio 担当マーケター 新村の Blog です。 Visual Studio Adevent Calender 2012 - Visual Studio が対応するアプリケーション タイプ 皆さんこんにちは。日本マイクロソフトで Visual Studio の製品マーケティングを担当している新村です。 Visual Studio Adevent Calender にご参加いただいた... Author: Takeshi Shinmura Date: 12/24/2012 アプリ紹介 「電撃もくろっく for Windows 8」 (20121102) 皆さんこんにちは。 急に寒くなってきましたが、風邪などひかれておりませんでしょうか? さて、Windows 8 も発売されて1週間がたちましたが、皆さんもうお使いいただいているでしょうか?... Aut
Account Suspended
Account Suspended This Account has been suspended. Contact your hosting provider for more information.
ウェブのオントロジー言語OWL -- ウェブに存在するものとその関係の定義
RDFモデルとRDFスキーマによるリソースの叙述という基本ツールを使って、ウェブに存在するものごとの分類体系（クラス）やその関係、さらにはそれを推論していくためのルールを定義するオントロジー言語OWLが2004年2月にW3C勧告となりました。セマンティック・ウェブでは、各地で独自に定義される語彙を関連づけ、相互運用できるようにするためにオントロジーが重要になります。オントロジーで表現された知識を利用して、エージェントが高度な検索などを行うことが期待されています。 オントロジーとは ウェブ・オントロジーのユースケース W3Cのウェブ・オントロジー言語OWL OWLの基本構成 ヘッダ要素 クラス公理 プロパティ公理 個体による事実の記述 参照文献 ※OWLを含む体系的な解説『RDF/OWL入門』を上梓しました。 オントロジーとは オントロジー(ontology)は、アリストテレス以来の「存在論
セマンティック・ウェブのためのRDF/OWL入門
セマンティック・ウェブの背景から、RDFのデータモデル、RDFスキーマ、OWL、さらにRDFをつかったクエリや推論までを取り上げて解説します。 An Introduction to RDF/OWL is one of the first Semantic Web books published in Japan. It covers from Semantic Web background to RDF basics to complex RDF/XML syntax, as well as complete OWL explanation. The book also has hands on tutorial section to develop RDF schemas and OWL ontologies. In addition, the final section overvie
C# in a Nutshell - LINQBridge
You might already have discovered that LINQ is addictive: once you're accustomed to solving problems through slick functional queries, it really hurts being forced back to the imperative style of C# 2.0! LINQ's query operators are implemented from .NET Framework 3.5. And here lies a difficulty: your clients might have only Framework 2.0 installed on their machines. So what does this mean if you wa
Archived MSDN and TechNet Blogs | Microsoft Docs
Archived MSDN and TechNet Blogs 2/7/2020 2 minutes to read MSDN and TechNet blog sites have been retired, and blog content has been migrated and archived here. Archived blogs are grouped alphabetically by the initial letter of the blog name. Blogs and blog posts can be searched by their names, using the Search box at the top of the page. Actively updated blogs have been moved to other blog sites,
ScottGu's Blog - LINQ to SQL Debug Visualizer
Probably the biggest programming model improvement being made in .NET 3.5 is the work being done to make querying data a first class programming concept. We call this overall querying programming model "LINQ", which stands for .NET Language Integrated Query. Developers can use LINQ with any data source, and built-in libraries are included with .NET 3.5 that enable LINQ support against Objects, X
VBStation - 特集 - VS2005自作Visualizer
S1.Net関連(95/98) S2.Net関連(NT) S3.コモンダイアログの拡張 S4.MailSlot関連 S5.RAS関連 S6.セキュリティ関連 S7.FAX制御(Win2000) S8.ADSIの利用 T1.グラデーションバー T2.アイコンメニュー T3.バーコード(NW7) VSのIDEはとても使いやすく、バージョンアップされる度に機能拡張され、さらに使いやすくなっています。 コード入力の補助(インテリセンス・コードスニペット)は言うまでもなく、デバッグ機能も充実しています。 その中で、Visualizer(デバッガ ビジュアライザ)というものがあります。デバッグ時にはとても役立ちます。 上の例は、String?の場合に利用できるVisualizerです。 VS2005では、これらのVisualizerを自作する事が可能になりました。今回は、Bitmapの場合に、そのイメ
Mike Stall's .NET Debugging Blog
Notes on Managed Debugging, ICorDebug, and random .NET stuff Webjobs SDK Beta is released We just released the WebJobs SDK Beta! Some highlights: ServiceBus support! Better... Author: Mike Stall - MSFT Date: 06/19/2014 Azure Storage Naming Rules I constantly get burned by naming rules for azure storage. Here’s a collection of the naming rules... Author: Mike Stall - MSFT Date: 06/12/2014 Hosting i
FeedSync + Microsoft Sync Frameworkはソフトウェアの在り方を変える!? - Tech Collab
ついつい先送りになってしまっていたSync Frameworkのサーベイをしていたら、つい数日前にSSE(Simple Sharing Extensions)がFeedSync1.0として公開されていたことを知った（今日の１枚の画像がFeedSyncのロゴ）。 http://dev.live.com/feedsync/ SSEについてご存知の方には今更説明するまでもないが、FeedSync(旧SSE)とは、「複数サイト*1のフィードに対して双方向同期を実現するための仕様」であり、RSS/ATOMの仕様は維持したまま最低限の拡張を施すことで実現している。SSEについてはかなり以前の秋元さんのブログエントリにあったのでそちらを参照した方がわかりやすいと思う。 FeedSyncにおけるフィード同期のためのフローについてはこちらのチュートリアルが分かりやすくまとまっている（後日にまた同期手順につい
SSE (Simple Sharing Extensions)発表 – 次世代 RSS となれるか? | 秋元@サイボウズラボ・プログラマー・ブログ
via TechCrunch SSE (Simple Sharing Extensions) とは、一方向の通知を実現する RSS に対して、最低限の拡張によって双方向の同期を実現するもの、ということらしい。 マイクロソフトの CTO 、Ray Ozzie が自身のブログでこの SSE 発表について解説している。 このブログ記事によれば、SSE によって、家族間でスケジュールのアップデートを共有することができるようになるという。その際に、プライベートなスケジュール、共有スケジュール、公開されたスケジュールをそれぞれ適切な公開レベルのまま扱うことができる。スケジュールは一例で、アドレス帳の中の共有エントリなどについても同様に、個人アドレス帳アプリケーションの中から共有されているアドレスを更新すると、その更新が共有相手側にも伝えられてシンクロナイズするようなアプリが作れるという。 「あの」マイ
Djinn, a theorem prover in Haskell, for Haskell. | Lambda the Ultimate
Lennart Augustsson announced Djinn on the Haskell mailing list recently. He included this demonstration: I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists. It's kind of fun, so I thought I'd share it. It's probably best explained with a sample session. calvin% djinn Welcome to Djinn version 2005-12-11. Type :h to get help. # Djinn is
Dynamically Creating Applications Using System.CodeDom
Introduction The System.CodeDom namespace in .net allows the users to dynamically compile and create assemblies. This concept is used by ASP.NET internally. The article provides an insight on how to create assemblies dynamically. The following are the list of classes, which would be used to create the assembly: CodeNamespace CodeTypeDeclaration CodeCompileUnit CodeEntryPointMethod CodeMemberField
Microsoft – クラウド、コンピューター、アプリ & ゲーム
すべての Microsoft 製品 Global Microsoft 365 Teams Copilot Windows Surface Xbox セール 法人向け サポート ソフトウェア Windows アプリ AI OneDrive Outlook Skype OneNote Microsoft Teams PC とデバイス Xbox を購入する アクセサリ VR & 複合現実 エンタメ Xbox Game Pass Ultimate Xbox Live Gold Xbox とゲーム PC ゲーム Windows ゲーム 映画とテレビ番組 法人向け Microsoft Cloud Microsoft Security Azure Dynamics 365 一般法人向け Microsoft 365 Microsoft Industry Microsoft Power Platform W
Dyson vs. Roomba: 2024\'s Best Vacuum Cleaner Comparison
We recently got our hands on the JACO Elite Low Pressure Tire Gauge and let me tell you, it has revolutionized the way we check our tire pressure. With a range of up to 15 PSI, this little gadget is perfect for all types of low pressure tires, from ATVs to lawn mowers. The large, easy-to-read dial and non-slip grip make it a breeze to use, even in less than ideal conditions. Plus, the solid constr
Alex Papadimoulis' .NET Blog - Smart Paster 1.1 Add-In - StringBuilder and Better C# Handling
Smart Paster 1.1 Add-In - StringBuilder and Better C# Handling I received some great ideas for new features and thought I'd incorporate them in a new version. Here's what's new: Tab/linebreak escape choices for C# Verbatim Literals (optional line spanning) for C# Paste As StringBuilder (with optional AppendFormat usage) Auto Formatting After Paste (optional) Ability to hide Paste As options on the
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
koido Blog - koido Blog
TechCrunch | Startup and Technology News
CodeRush: Free IDE Productivity Extension for Visual Studio | DevExpress
Untitled
Google Trends
Vector Magic | Precision Bitmap to Vector Conversion Online
IDEA * IDEA
OpenDAE Project
AutoFormatter 2.0 (Rtf to HTML conversion)
RTF to HTML converter (visual studio -> internet)
http://rayozzie.spaces.live.com/PersonalSpace.aspx
Djinn, a theorem prover in Haskell, for Haskell.- らくがきえんじん
https://divakk.co.jp/blog/aoyagi/archive/2006/07/21/7299.aspx
AnkhSVN:VisualStudio SVNアドイン
YouTube - Authoring Visual Studio Visualizers
YouTube - Debugging Visual Studio Visualizers