晴耕雨読

Recent Posts

• ProVerifによるWPA3プロトコルの検証 September 17, 2019
• 研究室の自動開錠システムを作った話 September 13, 2019
• WPA3 の規格と脆弱性 September 6, 2019
• ProVerifをMacOSにインストールする September 2, 2019
• seccamp2019チュータ参加記 August 18, 2019

Blog

• Webページでコマンド例の「$」の部分をコピペさせない July 2, 2019
• ブログ始めました April 2, 2016

C

• C言語で map と reduce December 3, 2016

C#

• OOP in C# December 3, 2016

Crypto

• ProVerifによるWPA3プロトコルの検証 September 17, 2019
• WPA3 の規格と脆弱性 September 6, 2019
• ProVerifをMacOSにインストールする September 2, 2019
• Tonelli-Shanks Algorithm August 15, 2019
• ラグランジュの定理と群の位数 August 11, 2019
• ルジャンドル記号による楕円曲線の位数計算 August 10, 2019
• 平方剰余とルジャンドル記号とヤコビ記号 August 9, 2019
• マイナンバーカードの技術仕様 July 15, 2019
• 誕生日攻撃 (Birthday Attack) June 12, 2019
• 数論変換(NTT)による有限体上の多項式環の乗算 May 31, 2019
• ChaCha20-Poly1305の解説と実装 May 17, 2019
• なぜマイニングをするとお金が支払われるのか May 14, 2019
• NumPyを使ったRing-LWEによる鍵共有 May 13, 2019
• 群・環・体の性質 May 10, 2019
• SageMathを使ったRing-LWEによる鍵共有 May 5, 2019
• LWE格子暗号による鍵共有 May 4, 2019
• 有限体上の楕円曲線上のスカラー倍算とsecp256k1の計算 February 23, 2019
• 有限体上の楕円曲線の点集合 February 22, 2019
• 平方剰余問題とオイラーの規準 February 21, 2019
• 有限体(ガロア体)をPythonで実装する February 20, 2019
• Pythonでモジュラ逆数を求める February 19, 2019
• Pythonでモンゴメリ乗算 January 2, 2019
• 公開鍵暗号の安全性レベル January 1, 2019
• 高速冪剰余計算とモンゴメリ冪乗法 December 31, 2018
• 秘密分散技術とホワイトハッカ飴の解説 (Adv.Cal. 2018) December 11, 2018
• [Crypto] invmod()から始める暗号理論基礎 December 1, 2018
• 数学・数式・記号などの英語の読み方 November 14, 2018

Database

• MySQL で FizzBuzz March 11, 2019
• MySQLで1〜Nの数列を扱う March 10, 2019
• SQLite で VARCHAR 型の文字数を制限する方法 December 10, 2016
• SQLiteでデーターベースを作る方法 November 21, 2016

Elixir

• 言語処理100本ノック in Elixir（第2章） January 9, 2017
• 言語処理100本ノック in Elixir（第1章） January 5, 2017
• Elixir で FizzBuzz January 4, 2017
• Elixirで配列の要素数をカウントする January 4, 2017
• OOP in Elixir December 3, 2016
• Elixir Typespecs December 1, 2016

Git

• Gitの履歴内のコミットしたユーザ名を全て変更する June 22, 2019
• Gitの履歴からファイルを完全に削除する June 10, 2019
• GitサーバとGitWebをCentOS 7で構築する December 31, 2017
• Gitの使い方（コマンド） September 23, 2016
• Gitレポジトリの中にいるか確認する方法 May 21, 2016

Haskell

• Hakellでパイプライン演算子 September 19, 2017

Java

• OOP in Java December 3, 2016
• Object Oriented Programming December 3, 2016

Javascript

• npm install without sudo April 26, 2017
• OOP in JavaScript December 3, 2016
• テンプレートエンジンを使わないで、コードの埋め込みを行う September 25, 2016
• node.js の EventEmitter をブラウザで使う September 25, 2016
• JavaScriptでGETパラメータの取得 September 23, 2016
• sleep関数 June 16, 2016
• 難読化JavaScriptの作り方 May 22, 2016
• Javascriptで整数の乱数を得る May 4, 2016
• JSでヒアドキュメントのインデントを取り除く方法 April 30, 2016
• JSでRubyの .times .upto .downto メソッドを作る April 3, 2016

LaTeX

• 文字数を数えるLaTeXマクロ August 5, 2019
• BasicTex2019 on MacOS June 30, 2019
• TeXプログラミングでライフゲームを作る February 13, 2019
• texlive2018 on Ubuntu June 16, 2018
• TeXから外部コマンドを実行する方法 December 18, 2016
• LaTeX の Listing 対応言語一覧 December 5, 2016

Linux

• SageMathをUbuntu 16.04にインストール August 11, 2019
• 技術検証用にCentOS7を仮想環境にインストールする July 12, 2019
• /tmp ディレクトリのパーミッション June 23, 2019
• Postfix & Dovecot サーバ構築 March 9, 2019
• systemdのRestartでプロセス自動再起動 March 8, 2019
• RPMパッケージのインストール March 7, 2019
• Apache で画像やJSやフォントなどのログを除外する March 6, 2019
• systemd のユニットファイルの作り方 March 5, 2019
• /tmp/systemd-private-* について March 4, 2019
• 踏み台サーバ経由の多段SSH January 20, 2019
• SSHで公開鍵認証 January 19, 2019

Makefile

• Makefileから別のMakefileをimportする・実行する December 9, 2017
• クロスプラットフォームで make December 5, 2016
• Makefile の特殊変数・自動変数の一覧 October 9, 2016

Misc

• seccamp2019チュータ参加記 August 18, 2019
• 化学反応速度 (1次反応・2次反応) June 11, 2019
• センシティブな情報（sensitive information）とは April 18, 2019
• nroffマクロを使ったRFCの作成 March 20, 2019
• 英語の文法のメモ（自分用） March 1, 2019
• 証拠収集とアーカイビングのためのガイドライン February 28, 2019
• ネットワーク構築入門講座の参加メモ February 24, 2019
• 禁酒するために読むべき論文 February 7, 2019
• 16 Boring Words & What to Use Instead September 30, 2018
• D-CTF Quals 2018 Message Writeup September 23, 2018
• K-SEC 2018 in 小山高専の参加記 September 6, 2018
• seccamp2018全国大会に参加しました August 19, 2018
• レポート提出前に確認する事（自分用） July 8, 2018
• イデアル論入門の英語用語集 May 19, 2018
• Convert ttf to png July 8, 2017
• 英語の文と文のつなぎの言葉 November 6, 2016
• Coding Style Guide September 23, 2016
• API Blueprint の書き方 April 4, 2016

PHP

• OOP in PHP December 3, 2016

Perl6

• OOP in Perl6 March 10, 2017
• Map Filter Reduce in Perl6 March 6, 2017
• Perl6 で LaTeX 文章の構文解析をする March 5, 2017
• Perl6 要素が一つの配列の作り方 February 21, 2017

Python

• 研究室の自動開錠システムを作った話 September 13, 2019
• RPAと画像認識によるタイピングゲームの自動化 February 12, 2019
• 構造体を継承してコンストラクタをなくす(Python) June 24, 2018
• Python で Enumerable#each_with_index December 15, 2016
• OOP in Python December 3, 2016
• Python で別ファイルの import October 9, 2016

Regex

• Perl6 正規表現 February 19, 2017
• 正規表現でダブルクオート内の文字列を抽出する September 23, 2016

Ruby

• 構造体を継承してコンストラクタをなくす(Ruby) June 23, 2018
• [Ruby] インスタンス変数の初期化をメタプロする July 23, 2017
• github-pages が Ruby2.4 で使えない問題 January 10, 2017
• 配列を返すメソッドをブロックも受け付けるように拡張する December 8, 2016
• OOP in Ruby December 3, 2016
• Rake Guide September 24, 2016
• Rubyでヒアドキュメントのインデントを取り除く方法 April 30, 2016
• RailsをHerokuにpushするときにsqlite3でエラーが起こる April 12, 2016

Scala

• Scalaでパイプライン演算子 September 19, 2017
• OOP in Scala December 3, 2016

Shell

• grepコマンドで特定のディレクトリを検索対象から除外する May 27, 2019
• wgetでWebサイトを巡回してリンク切れを確認する May 25, 2019
• コマンドでメールを送る August 22, 2018
• Bashでパイプからの入力があるかどうかを確認する方法 August 21, 2017
• find -exec でパイプを介した複数コマンドの実行 June 11, 2017
• Bashで一時ファイルを作る方法 December 30, 2016
• 冗長なパス foo/bar/../lib を foo/lib に変換する October 9, 2016
• findコマンドで特定のディレクトリを検索対象から除外する May 4, 2016
• エラーメッセージ表示用の関数 April 14, 2016