LANケーブルの自作 - yottchan @ Wiki
１．今回使用するアダプタ RJ45コネクタ：650円／10個 コネクタカバー（必要ではない）：525円／10個 ２．ケーブルの切断 ３．外被膜の除去 専用工具の外被膜を除去する部位に図のようにケーブルの切断面をあてがう。 芯線まで傷つけないように切る。 切断後の様子。芯線2本1対で4対＝計8本 ４．線の整列 ストレートケーブルにする場合、 １：橙白ー２：橙ー３：緑白ー４：青ー５：青白ー６：緑ー７：茶白ー８：茶 （T-568B ） （T-568BA：１：緑白ー２：緑ー３：橙白ー４：青ー５：青白ー６：橙ー７：茶白ー８：茶でもよい） 厳密に考えなければ、色はいずれでもよい。 ■クロスケーブルにする場合、 両端をストレートの整列にしてから、一端の配列で2番目と6番目を入れ替える。 （コネクタに差し込んで）両端を向かい合わせたときに、 ｛1-2-3-4-5-6-7-8｝＝｛1-6-3-4-5-2-7
Alloy Analyzer で形式仕様記述
仕様を形式的に記述/検査することのできる言語やツールは、VDM, B, Z, Isabelle など他にも色々ありますが、 Alloy はそれらにくらべてより軽いフットワークで記述/検査することができるツールです。 それらのツールと Alloy との比較も、機会があればご紹介したいと思います。 2. Alloy を使った形式仕様記述の特徴 数理論理学＋集合論をベースとした Alloy の言語で仕様を記述します。 書いた仕様を、簡単に検査することができます。 難しい論理式の証明などは必要ありません。 検査結果は図で表示してくれるので、結果を目視で直感的に理解することができます。 仕様で書いた振る舞いをシミュレーションすることができます。 3. このページのスコープ ここでは仕様のうち、概要レベルの仕様や、重要な部分だけを抜き出した仕様といった、抽象度の高い仕様をスコープとしています。 抽象度
eclipse@Wiki
各カテゴリごとにプラグイン名昇順で列挙。 EPL や ASL などの無料で商用利用可能なものが対象。 Eclipse 最新バージョンまたは、ひとつ前のバージョンに未対応のものは除外。 2 年以上更新が無いプラグインは開発停止の可能性が高いため除外。 HP - プロジェクトへのリンク。 更新 - 更新サイトへのリンク（右クリックして URL をコピー）。更新サイトについては Callisto を参照。 検索 - Google で検索。 プラグイン名 - プラグイン名（基本は正式名称）。リンクはこの Wiki 内。 Eclipse version - サポートされている Eclipse のバージョン。 説明 - プラグインの説明。 ページ内目次
PostgreSQLのバックアップリストア手順 - Choc-Net!
*【Linux】PostgreSQLのバックアップリストア手順 #contents **バックアップ データベースのバックアップ方法です。 #br +postgress のルートユーザでログイン コマンド # su - 例) # su - '''postgres''' #br +バックアップ postgres$ pg_dump -U postgres -F c -f HOGE_DB_BACK.car HOGE_DB **データベースのリストア データベースごとリストアする方法です。 #br +postgress のルートユーザでログイン コマンド # su - 例) # su - '''postgres''' #br +旧データベース削除(必要に応じて) リストア先の情報が残っている場合は、先に削除。 postgres$ dropdb <データベース名> 例) postgres$ drop
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
JsDoc Toolkitを使う！
ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
