[ ホーム | 講義 ] 2020年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2021年1月27日(水) (1月13日10時45分訂正) 講義予定 シラバス 1回目(10月7日1限)の教室は多元109号室に変更 2回目以降も多元109号室で講義を行う 第1回10月 7日 Coq/SSReflectの論理 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回10月14日 述語論理とSSReflectのタクティック 講義メモ 第3回10月21日 再帰的な定義と帰納法 講義メモ 第4回10月28日 帰納的な定義と多相性 講義メモ 第5回11月4日 Mathcomp, 自己反映と単一化 講義メモ ssrbool_doc.pdf, ssrnat_doc.pdf (R. Affeldt の
背景 Linux networkingには下記のような様々な構成要素があります。 ネットワークデバイス 経路テーブル フィルタ etc. これらを操作する必要がある場合、一般的には iproute2 などのコマンドラインツールから操作を行うことが多いかと思います。 しかしOpenStackやKubernetesなどの大規模なクラスタを管理する環境では、複数ホストにまたがってネットワークを動的にかつ一貫した方法で構成することが求められます。 こうしたニーズを実現するために、Linux networkingの構成要素を自作のプログラムから直接制御することが最も効率的な場合があります。 NetlinkというLinuxのサブシステムはLinuxカーネル内のネットワーク関連リソースを制御します。このNetlinkサブシステムを活用することでネットワーク管理を自動化することができます。 概要 Netl
サービス停止のお知らせ:2024年6月17日(月) AM4時0分 - AM5時0分 (JST)(日本時間)メンテナンスのためサービスを停止します。
概要: この記事では、アプリ開発者の役に立ちそうな TCP/IPネットワークに関する最低限の知識をまとめた。 あくまで視点は「アプリ開発者」なので、 現在の家庭・企業における一般的なネットワーク環境しか想定していないし、 セキュリティに関しても基本的なことしかカバーしていない。 ネットワーク機器の具体的な設定方法や診断については、より専門的な資料を参照のこと。 目的: この記事を理解すると、 まとめ問題1、 まとめ問題2 および NATの動きを理解する のような問題に答えることができる。 (逆に、現時点でこれができる人には本記事は不要。) 目次 使用するツールの準備 インターネットの作り方・概要 ネットワーク通信の原理 ネットワークの「階層」 データリンク層 IP層 (ネットワーク層) TCP層 (トランスポート層) アプリケーション層 データリンク層のしくみ 物理アドレス (MACアドレ
1 crashコマンドとは? 2 検証環境 3 インストール方法 4 crashコマンド起動方法 5 コマンド一覧、ヘルプを表示する方法(help) 5.1 コマンド一覧を表示する方法 5.2 コマンドのヘルプを表示する方法 6 logコマンドの使い方 6.1 引数無しで実行する方法 6.2 時刻を表示する方法(-T) 6.3 ログの重要度を表示する方法(-m) 7 setコマンドの使い方 7.1 プロセスコンテキストを表示する方法 7.2 プロセスコンテキストを切り替える方法(set PID) 7.3 表示画面のスクロールオフ・オンの切り替え方法(set scroll off/set scroll on) 8 rdコマンドの使い方 8.1 メモリ内容を16進数/10進数(-d)で表示する方法 8.2 メモリ内容を文字列として表示する方法(-a) 9 modコマンドの使い方 9.1 モジュ
Windowsの PCを購入してきたときや、クリーンインストールをしたとき、それまで使っていたソフトを再度インストールし直さなければなりません。 各サイトからプログラムをダウンロードして、セットアッププログラムを起動し、淡々と「次へ」ボタンをクリックする・・・ そんな退屈な作業から解放してくれるのが「Chocolatey」です。 Chocolateyとは Chocolateyは、Chocolatey Software社が開発しているコマンドラインツールです。コマンドラインからさまざまなソフトをインストールすることができ、例えば学校や会社などでの大量のコンピューターへの環境設定などを補助してくれます。 個人が利用する場合には機能限定版が無償で提供されていますが、基本的に個人が使う分にはまったく不便しないので、ありがたく活用させてもらいましょう。 インストールする Chocolateyのインス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く