自分は、2004年頃の勤め先で、一般的な技術勉強会的にGPSの原理的な説明を聞いたことがあるのですが、最近改めてこのときの知識を確認しようとしたところ、意外とWeb上にまとまった情報が無かったのでまとめておきます(当時、一般のGPS関連の掲示板とかで語…

Windows10で、exeを直接起動するタイプのプログラム(Eclipse等、フリーウェアによくある)を、スタートメニューに登録する方法を紹介します。かつてのWindowsでは簡単にできたのですが、Windows10では苦労させられます。 基礎知識 スタートメニューにピン留め…

Windows10標準のVPN接続で、必要なときのみVPN接続するという使い方をしているのですが、VPN先が特定の開発用サーバにしか接続できない、回線が細いなどの理由で、必要なパケットのみをVPN側に回し、それ以外のパケットは通常の経路で流したいという状況がち…

バージョン管理システムとしてGitがすっかり一般的になりましたが、他に慣れ親しんだシステムがある場合、なかなか移行できないものです。 自分自身、CVSやSVNに慣れ親しんでいて、何かバージョン管理したいときにはついつい手元のCVSサーバに入れてしまい、…

テキスト主体だけど最終的には印刷できる形式にしないといけない文書を、Markdownで書きたくなり、試した結果をまとめておきます。テキストエディタ使いが、会議の議事録をWordやPDFで配布しなくてはいけない場合などに便利だと思います。 ツールの選定: Pan…