本記事は UEC 2 Advent Calendar 8日目の記事です． プレイデータの引継ぎ 電気通信大学 (電通大) の3年次編入時の単位認定は出身校のシラバスなど，書類をそろえるとても面倒だとされているが，私は出身校も電通大 (旧情報・通信工学科; I科) である．それ…

イーグルエナジーの煙 私が電通大を出たのは2年半も前のことである。私は修論を受理されて卒業式の日に修士の学位記をもらった。 修論は研究室の先輩の研究テーマに乗っかって少々の拡張をして論文の体裁を整えたもので、初めて研究室に配属されたB4から数え…

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

この記事は 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