nkhrlab~

140字超の記事

8-9-12 Ruleはいつ使える? 1-checker modelによるバックギャモンの勝率

概要 ダブリングキューブを使用する現代のバックギャモンにおいてゲーム勝率の見積もりはプレイヤーの得点の期待値を,あるいはマッチ勝率を最大化するために重要である.レースでのキューブアクションはしばしばピップカウントによって決定される.本記事で…

「基礎プログラミングおよび演習」のための問題集

概要 本記事は電気通信大学1年次後学期で開講されている「基礎プログラミングおよび演習」のために用意した問題集である.ここに用意されている問題がおおかた解ければ,単位を取ることもそう難しくないことだろう.以下に2019年度の講義資料が公開されてい…

女装男子には長男が多い?

本記事の目的 次のツイートは,女装男子の続柄 (長男かそうでないか) についてアンケートをとったものである.本記事では,この結果を真実として,女装男子に長男が多いといえるか仮説検定をおこなう.【女装男子向けアンケート】あなたの続柄を教えてくださ…

ドミノを用いたパズルの自動生成

概要 ドミノはトランプと同じくそれひとつでいろいろなゲームを楽しむことができる玩具のひとつである.本記事では,ドミノを用いたパズルの自動生成の手法とサンプルコードを紹介する. 準備 1セットのドミノは28枚の牌からなる*1.それぞれの牌は2つの領域…

HarekazeCTF 2019 想定解法 (nkhrlab 作問分)

本記事では,HarekazeCTF 2019で出題された問題のうち,私が作問した2問について解法の解説を行う. harekaze.com 本記事には次の2問の解説を含む. [Crypto 100] Twenty-five (Solved: 56 Teams) [Crypto 200] One Quadrillion (Solved: 7 Teams)

ウェブアプリケーション脆弱性関連情報の届出をした

概要 あるウェブアプリケーションにXSS脆弱性を発見したので,情報セキュリティ早期警戒パートナーシップガイドラインに則りウェブアプリケーション脆弱性関連情報として情報処理推進機構 (IPA) に届け出たところ,届出が受理された.将来の脆弱性関連情報の…

LaTeXでマークシート式試験

マークシート式試験の組版 大学入試センター試験に代表されるマークシート式試験の組版では,同じ大問中で連続した解答欄 (例えば,マークが10箇所であれば解答欄「ア」~「コ」) を使うことが多い.これをLaTeXで実現する場合,1つの大問を通して利用するカ…

分数が出てこない行列の対角化問題の作問の手法

本記事の目的 次のような形の問題は,「行列の対角化問題」と呼ばれる問題である.本記事では,これを単に「対角化問題」と呼ぶ. 行列に対し,次のような条件を満たす対角行列と行列の組を1つ求めよ. 対角化問題は,行列やベクトルに関する他の問題 (行列…

nkhrlab challenge 2019 想定解法

はじめに この記事は,2019/1/1 0:00より主催したCTF「nkhrlab challenge 2019」の解説記事である.セキュリティ要素のないCTFnkhrlab challenge 2019を1/1 0:00より開催しています正解者のうち先着3名にはAmazonギフト券でお年玉があります1着 3072円2着 20…

勝敗グラフと有向閉路の存在性

勝敗グラフ 本記事における勝敗グラフを次のように定義する.勝敗グラフは有向グラフの一種である. 頂点集合,辺集合を持つ有向グラフを考える. に対しを次のように定義する. が次に示す条件を満たすとき,かつその場合に限り,は勝敗グラフである. 本記…

AtCoder に登録したら解くべき精選過去問 10 問を PostgreSQL で解いてみた

はじめに この記事は,次のQiita記事に「過去問精選 10 問!」として示されている10問の問題をPostgreSQLを用いて解いたものである. qiita.comまた,AtCoderではこれらの問題をまとめた初心者向け問題集として「AtCoder Beginners Selection」を用意してい…

HarekazeCTF2018: [Misc 127]Unnormalized-form Data 想定解法

この記事について 本記事は,HarekazeCTF2018に私が出題した問題 [Misc 127]Unnormalized-form Data の想定解法について解説を行うものである.HarekazeCTF2018の期間中に43チームが本問題のフラグを獲得した. harekaze.com 問題文 Unnormalized-form data …

CTFサーバとの自動対話

CTFでは指示されたサーバに接続して問題を解くことがよくある.例えば次のようにnetcatを利用した接続の方法が示される問題はその典型である. nc 192.168.61.74 6174しかしながら,このコマンドを実際に端末で実行してサーバと対話的に通信しても問題が解け…

Tokyo Westerns CTF 3rd 2017(2017/9/2 - 2017/9/4) - Writeup

チーム「Harekaze」のメンバーとしてCTF「Tokyo Westerns CTF 3rd 2017」に参加した.チームは940点を獲得し33位となった.個人では2個のフラグを得ることができたので,Writeupを書く. [PPC 24]Palindromes Pairs - Coding Phase - 空白区切りで与えられる…

無向グラフに関する頂点数・染色数制約下での辺数の最大化

この記事で扱う問い 無向グラフの染色数をと表すとき,グラフに対する頂点数についての制約および染色数についての制約を同時に満たす無向グラフのうちで,辺数が最大であるものはいかなるグラフであろうか.ただし, 特殊なに対する答え まず,特殊なについ…

データベーススペシャリスト試験に合格した

やったね. 去年は不合格だったが今年は合格.次回は登録セキスペかな.

WhiteHat Challenge 01 (2017/02/26) - Writeup

チーム「Harekaze」のメンバーとしてCTF「WhiteHat Challenge 01」に参加した.わずか1個ではあったものの初めてセキュリティの問題でフラグが取れたので,Writeupを書く. [Mics 25] Mics001 準備 サーバに接続してフラグを取る問題.とりあえず問題文に示…

情報処理技術者試験の選択肢の順序は人間が決定しているか?

背景と目的 定期試験や入学試験などの試験中,択一式の問題で解答に迷ったら,あなたはどうするだろうか.おそらく,答えがわからなくてもとりあえずどれか一つを選ぶのではないだろうか.一般的な方式の試験では,白紙のまま提出するよりもまぐれで当たる可…

ワーシャル-フロイド法による最短経路の導出 - SQLによる解法

本文は後で書こう.次に示すSQL文は,有向グラフおよび辺に対する重みを与える写像について,最短経路のコストを導く.これをそのまま実行すると,次のについて,すべての2頂点間の最短経路のコストを導く.

RDBMSごとのWITH句の実装の差異

WITH句は一時表を作成する句で,SQL99より規格に取り入れられた.しかしながら,各RDBMSのWITH句の実装はまちまちである.次のSQL文を見てみよう. WITH foo(a, b) AS ( SELECT 1, 2 UNION SELECT 3, 4 ) SELECT * FROM foo このSQL文を実行すると,PostgreS…

二部グラフの最大マッチングの発見問題 - SQLによる解法

本文は後で書こう.とりあえず使えそうなSQL文だけ載せておく.次に示すSQL文は,二部グラフについて,最大マッチングを発見する.これをそのまま実行すると,次のに対して最大マッチングを発見する.

ConoHaとConcrete5で始めるPHP

Web

今日PHPを初めて触った.きっかけは陳腐化の著しかったHPの改修.従来のHPのコードはHTMLもCSSもすべてnanoだけで手打ちしており内容も非常にお粗末なものだった.*1また,サーバがRaspberry Pi Model B(初代)だった*2ので,Webフォントなどサイズの大きなデ…

CUI Twitterクライアント"Tw"のご紹介

この記事は UEC Advent Calendar2015 の8日目の記事です Twitterクライアント"Tw" 普段からTwitterを利用している方々はお気づきのように、Twitterへのアクセスには実に多様なクライアントが利用されています。しかしながら、その多くはGUIクライアントで、…

test 試します Twitter sl << 3 6 9 4 32 256 2048 16 128 1024 8192 64 512 4096 32768