Posts on ashitaka blog

人文学を勉強したい

Sat, 21 Feb 2026 21:53:57 +0900

最近、非論理的で複雑な事象について、細部を捨象せず、非論理的で複雑なまま伝え、それを受け止めることの重要性を感じている。

論理的な思考方法は、論理的に筋が通ってる事象のみを重要視しストーリーを作っていく。論理的に筋が通っている話は、相手の論理的思考により正確に理解してもらえる可能性が高いからである。

しかし、論理的なストーリーを紡ぐ過程において、非論理的な事象はノイズであり相手の論理的思考を阻害するため、なるべく捨象される。故に、実世界で起こった客観視可能な事実がストーリーの中で幅を利かせて、個々人の主観的な感情なんかは片隅に追いやられる。

30歳になってやっと人文学の価値が分かってきた。30年も生きててこんなに無機質で論理的な文章しか書けないのが悲しい。

ブルシット・ジョブが増殖している？

Wed, 02 Oct 2024 20:22:12 +0900

みなさん自分の仕事には意味があると思っていますか？

社会的に必要なさそうだが、お金のために意味があるように見せかけていませんか？

私は2020年に社会人になって4年経ちますが、やっと経済、特に資本主義に基づいた経済というものがどのように回っているかがわかってきました。

世の中のあらゆるモノや実体のないコトまで商品化されている
大企業とは安定した収益を得る仕組みを持っている企業である
お金を借りたら増やして返すのが当たり前
マーケティングとは本来存在しなかった顧客の欲求を駆り立てる性質がある
経済は成長し続けることが前提となっている

などの、学生時代では文字面でしかわかっていなかったことが実感を伴ってくる感じです。

資本主義経済への理解が進むにつれて労働の捉え方に対してもだんだん変化がでてきました。

学生時代には塾チューターのバイトから始まり、塾講師、レストラン、居酒屋、ゲーム会社での開発、神社の年末年始警備、ボールボーイといろんなバイトを経験しました。

ただ学生時代は仕送りをもらっているため義務ではなく、バイトはあくまでも得られる経験、楽しい仲間、おいしい賄い、小遣い稼ぎのためでした。

学生時代が終了すると、平日8時間労働する社会人スタイルが主流になるので、長いものに巻かれるべくサラリーマンになりました。

バイト時代との大きな違いとして、お金がないと生活していけない現代においては、既に結婚し子どもも生まれた今、労働によりお金を稼ぐことは権利ではなく義務になりつつあることです。

もう一つの大きな違いとして、自分のためだけではなく社会への恩返しを意識して働いている点です。

私が学生時代に享受してきた教育によって培われてきたITの分野において日本に役立てないかと考え、前職はヤフー、現職はグラファーに所属し、例えば業務効率化のためのプロダクト開発において一定役割を果たせてきたと思っています。

ただ生成AIが台頭してきた今、エンジニアのただコーディングするだけの役割なんかは不要になりつつあり、十数年後ずっと同じ仕事をしているとは到底考えられません。

そこで育休を機に改めて仕事の社会的意義について考えたく、農業とかにも興味を持ち始めたりしていて、以下の動画に出会いました。

https://youtu.be/IZs9w3ud5yQ?si=FyYsVIJnDx77Kdpa

この動画で紹介されているデヴィッド・グレーバーのブルシット・ジョブという本が、若干タイトルで釣られている感もありますが気になり、読んでみました。

週15時間労働はなぜ実現しなかったのか

1930年、ジョン・メイナード・ケインズは、20世紀末までにイギリスやアメリカのような国々ではテクノロジーの進歩によって週15時間労働が達成されるだろう、と予測したが、それはまだ達成されていない。むしろ、テクノロジーは私たちをいっそう働かせるための方法を考案するために活用されてきたと指摘します。

確かにこんだけ技術が進歩していれば働く時間って減っても良さそうですよね〜、なんで減っていないんでしょうか。大量生産大量消費のせいだとされることが多いようですが、グレーバーはそれも否定します。

無意味な仕事がでっち上げられている

グレーバーによると、それは無意味な仕事がでっち上げられているからだそうです。著書においては、それをブルシット・ジョブと名付け、取り巻き、脅し屋、尻拭い、書類穴埋め人、タスクマスターの5つに分類しています。

無意味な仕事というのはこの世には存在するとは思っていましたが、人類学者が指摘するような社会問題になっているとは思っておらず驚きました。

ブルシット・ジョブの定義

ブルシット・ジョブとは、被雇用者本人でさえ、その存在を正当化しがたいほど、完璧に無意味で、不必要で、有害でもある有償の雇用の形態である。とはいえ、その雇用条件の一環として、本人はそうではないと取り繕わなければならないように感じている。としています。

社会的意義を客観的に測ることは困難であるが故に本人の主観を尺度としてるのが面白いですよね。またマフィアの殺し屋なんかを除外するために取り繕う条件を入れたり、詐欺師なんかを除外するために有償である条件を入れたりしています。

まとめ

自分はITの仕事に携わっていますが、捉えようによっちゃあ実は書類穴埋め人に仕事を助けるために業務効率化のプロダクトを開発しているだけで、その人を助けたところでまた新たな書類穴埋め作業が生まれるのかもしれないと思ったりしました。

周りの医療や教育などのエッセンシャルワーカーとして働いている人たちのほうがよっぽど社会的意義のある仕事のように見えます。

みなさんの仕事はいかがでしょうか？

2024年から始まる教育とエミール

Sun, 22 Sep 2024 19:49:03 +0900

エミールにたどり着くまで

自分が父親になり早3ヶ月間が経ち、娘は体重が出生時の2.5倍になり、謎の言葉を発するようになるなどすくすく成長しております。

まだ3ヶ月だと本人ができることは限られているので自分が娘に与える影響も限定的ですが、これから自由に動き出して意思疎通ができるようになるとその影響は大きくなっていきます。

その成長が見られるのは楽しみと思う反面、こんなに他人の人生に影響を与えることもないので責任を感じる側面もあります。

別に手取り足取りいろいろ教えてやらねばと思ってはおらず勝手に成長していくものと思って入るのですが、完全に無為自然な状態を作り出すことはできずどうやっても自分の趣味嗜好が入ってしまうものです。

そんな思いを持ちながら最近ハマっているコテンラジオの教育の歴史を聞いていて、

https://open.spotify.com/episode/7tRKPVrgbMDZiDTEF94MlU?si=JkZsLSDVS16lRnmQkT1-lQ

話の中で近代教育の古典としてルソーのエミールが紹介されていました。

自分が受けた教育では、「エミール」という単語は「小説風教育論である」ということしか学びませんでした。

中身を学ばずになんの意味があるんやと思いつつ、まぁ確かに学生時代に内容を教えられてもなんのこっちゃやったやろうなと思います。

娘が生まれて自分が教育なるものを実践せねばならない立場になった今、この本にとても興味がでて満を持して読んでみました。

読んだと言っても一部を抜粋して解説がされている以下の本を読んだまでです。時代背景の説明がないと理解できないと思ったので。

『ルソーエミールシリーズ世界の思想 (角川選書 1005 シリーズ世界の思想)』永見文雄

https://bookmeter.com/books/18383149

この本を読んで感じたことをツラツラと書いてみようと思います。

中学生までは理性が眠っている

エミールにおいて1歳までの乳児期、1歳から12歳までの幼児期、12歳から15歳までの少年期は事物との物理的関係で自己を認識しており、理性は眠っているとされています。

それに対して15歳から20歳の青春期に入って他者との道徳的関係で自己を認識し、20歳から25歳の思春期において他者との社会的関係で自己を認識し、子どもから大人へ移行するとされています。

この定義によると今の日本の中学生まではまだ「他者」をちゃんと認識できていないということになります。

子どもと接するにあたって、大人が暗黙的に守っている社会的ルールを押し付けるのはアンフェアなのでそうならないように気をつけたいなと思っていましたが、案外それを気をつけなければならない期間は長いのかもなと思いました。

最初らへん感覚めちゃ大事

人間は生まれながらにして感覚器官を備えており、この器官を通じて外部の刺激を受け止めることによって感覚が形成され、人間の形成とは専ら感覚を出発点とする認識の発達である、とルソーは考えています。

この考え方にはとても共感できます。

人間が何かを判断するときに判断材料があればあるほど外界の事象を加味した判断ができますが、その判断材料は知覚することで初めて手に入れることができます。いくらものの考え方を教えたとしても、何も知覚できていなければ意味がないのです。

あれ何これ何と質問される時期が来ると思うのですが、変に現代の大人が共通認識として持っている科学的知見や社会的通念を持って説明せずに、何だと思う〜？とか言ってあるがままを知覚してもらうのがいいのかなと思ったり。

時間を無駄にするのが教育

ルソーは「子どもの教育とは、時を稼ぐために時を無駄にすることを心得ていなければならない仕事なのだ」「自然の働きに逆らうことになるといけないから、自然に代わってあなた方が手を出したりする前に、長い間、自然の働くままにまかせておくのがよい。子供時代は理性の眠りの時期だということを考えるがよい」としています。

私は小学生時代に、柔道、水泳、エレクトーン、英会話といろんな習い事をさせてもらってためになったので、自分の子どもにもと思っていたのですが、ルソー的には違うようです。

本人が望む習い事はさせたいですが、ただ遊びたいのであれば遊ばせるのがいいのかもですね。

幼児期においては勉強は不要

「どんな勉強においても、表現される事物の観念がなければ、それを表現する記号には何の意味もない」にもかかわらず、人々は子どもにこの記号だけを教えて、それが表現する事物を教えることはできていない。したがって、子どもは単に知識を詰め込むだけの勉強は子どもの判断力を育てない、それどころか駄目にする、ということになるそうです。

小学生時代の道徳の授業とかがこれにあたりそうですよね。教訓っぽいことを含んだエピソードを全員で読んだりしてましたが、確かに都度その教訓を読み取って理解していた気はしないです。

観念が必要ないただの計算とかならやらせてもいいのかもですね、それも本人が望めばですが。

まとめ

ツラツラ書こうと思ったんですが、幼児期で終わってしまいました、その後の少年期からも面白かったので気になる方は読んでみてください。

最後将来を誓ったソフィーとの定住地を探す話が出てきて、都会を離れた自然な穏やかな生活が大事とされていて、それは実践できてますルソーパイセンとなったりもしました。

1995年から私が受けてきた教育には何の不満もなくとても感謝しているのですが、失われた30年にどっぷり浸かっていて社会の変化に対応できていなかった感も否めないです。

2024年になった今、教育に変化が求められているようになりましたが、自分からは今も昔も変わらない大切だと思うことを伝えていきたいです。

半年間育休をいただいております

Wed, 10 Jul 2024 20:57:45 +0900

5月から福岡の糸島に移住すると報告していたのですが、

なぜ福岡の糸島に移住するのか

実は6月に第一子の出産予定日だったので妻は4月には宮崎の延岡に里帰りしていて、一人での引越劇でした。

5/11に糸島の賃貸に入居したあとリモートワークしつつ3週間弱で生活インフラを整えていました。

5つも窓があってカーテンを用意したり、1部屋だけエアコンがついてなかったので取り付けたり、出産直前に転勤でもない謎移住について市役所に説明したりといろいろありました。

中古で車も買いました。欲しい色が熊本のディーラーにしかなく電話で購入したため、あんまり値切る交渉ができなかったのが残念でしたが、めちゃ気に入ってます長く乗りたい。

そんなこんなで新居を育児できる状態にして、6/1に宮崎の延岡に移動しました。

6/7まで1週間だけリモートワークしたあと12/31までの育休に入りました。

人生100年時代においてやっぱり初めての子どもに対して時間を使いたくお願いしたのですが、こんなに長い間育休をいただけるのは本当に恵まれてるなと思います。

育児休業給付金が給与の66%出るので家計的には問題ないのですが、親に育休を半年取ると話したらもっと働かなあかんやろ、みたいな感じでした。

6/8は友人の結婚式の予定で、さすがにその日出産にはならんだろうとたかを括って、朝4時に延岡から宮崎空港に移動していたら、急遽出産することになり引き返すことに。

万が一のために代わりに出席できる人と代わりに余興でギターを演奏できる人をお願いしていたので結婚式には水を差さずに済みました、本当にありがとうございます。

宮崎空港から延岡にとんぼ帰りして病院についたはいいものの立ち会いはできない病院だったのでただ祈るだけだったのですが、9:33に無事娘が生まれました。

生まれてすぐは全く実感がなく本当に自分の子どもなんだろうかぐらいのテンションだったのですが、育児を通してこれが親なんかとなってきています。

妊娠中に何もできなかったので生まれてから頑張ろうの思っていたのですが、結局授乳という大仕事を妻に依存せざるを得ず無力感を感じる毎日です。

今週末にお宮参りの予定でやっと孫を親に会わせることができそうです。

8月に妻のお姉さんも里帰り出産の予定で、せっかくなので会えたらと8月末までは延岡におります。税金で浮いている労働力を存分に活用していきたい所存です。

9月からは糸島に戻りましてのんびり過ごしたあと年末には長浜に顔を出したいなと思っています。ひいおばあちゃんとひ孫の対面が楽しみです。

せっかく半年育休をもらえているので以下のことにチャレンジしたいなと思っています。

育児
- 手伝うとか一緒にやるとかではなくもはや率先してやりたいです、ニンゲンオモシロイ
簿記3級・2級取得
- 特に資格がいるわけではないのですが、会社について改めて理解を深めたく
- Fundaというオンライン教材が面白く今日買いました
メジャーなパンをひと通り作る
- 時間無限にあるので無限に発酵できることに気づく
- 妻のお姉さんに塩パンを教えてもらいました
農業体験
- 糸島に戻ってから育休パパの手伝いを募集している農家があるので応募してみたい
- ノウカノタネというYouTubeが面白く勉強中
読書
- 普段とっつきづらい肉厚な本にチャレンジしていきたい
  - ブルシット・ジョブ
  - ドローダウン
  - 負債論
  - ティール組織
歴史の勉強
- COTEN RADIOというPodcastにどっぷりハマってしまいました
- 今公開されているエピソードをすべて制覇したいと思っています
ブログ
- 基本的に知識食べていくことのほうが好きなので筆が進まないのですが、せっかく時間あるのでこの記事みたいな随筆チックなものをダラダラ投稿していきたい
カメラ
- ZV-E10を親に買ってもらってLightroomサブスクしました、娘を撮影し編集していこうと思います
マイホーム計画
- 人生の夢でしたが近づいてきました

エンジニアリングについては社会人4年間学び続けてきたので、一旦このタイミングでアンラーニングしようと思います。

改めて9月から糸島で暇しておりますのでお時間ある方ぜひ会いましょう〜

なぜ福岡の糸島に移住するのか

Sat, 16 Mar 2024 12:52:49 +0900

急なんですが、2024年5月から福岡の糸島に移住することにしました。

私は1995年に滋賀の長浜で生まれ、2014年から京都で大学時代を送り、2020年から東京で社会人をやってきたという感じで、全く糸島に縁はなく、いろいろなんとなく惹かれて糸島に決めました。

これを周りに報告すると、なぜと聞かれて毎回答えに詰まります。毎回フワッとした回答になって、毎回ふーんいいね〜みたいな感じになります。

なんか悔しいので、ちゃんと理由まとめておこうと思います。なので読んで下さい。

人口密度が低いから

私は1年間高円寺に住んで3年間蔵前に住んだのですが、東京は面白い人たちや大きな仕事、いいお店がいっぱいあってとても楽しい場所です。

その反面めっちゃ人間が住んでます。自分が住んでいるマンションの窓を開けると、見渡す限りビルやマンションです。いくら魅力的だからといってもこんなに狭い土地に上下に積み重なって生きて行かなくても…と思ってしまいました。

トラウマになってるのか知らないですが、将来は平屋に住みたいと思ったりしています。

自然が豊かだから

糸島市は日本海側に面した半島になっており、市街地から15分程で海岸沿いにいけます。自宅から15分程で湖岸沿いに行けた長浜のような環境を欲しているのかもしれません。琵琶湖に住んでるブルーギルとかブラックバスじゃなくて、海で食べれる魚の釣りをやってみたいです。

農業も盛んなようです。今は近所にあるまいばすけっとで誰がどう作った作物なのかよくわからず買い物していますが、もうちょっと自分の食べ物に関心を持って行きたいなと思います。料理うまくなりたいですし、あわよくば農業やってみたいです。なんなら6次産業化しちゃいたいです。

将来的に子育てなんかも考えたときに、やっぱり自然に囲まれた環境でのびのび育つのが正義という田舎志向も否めないです。

博多が便利だから

田舎志向のように見せつつ、都市部の便利さも強欲に求めていきます。

その上で糸島から30分程いけば博多があるのがチョー便利なのです。市内中心部に新幹線も空港もあるので割と日本全国どこでもすぐ行けると思ってます。滋賀京都時代に関空まで遠すぎる不便さを味わっているので、この交通の便の良さはとても魅力的です。

三大都市圏ではありませんが、その次の規模の都市圏であり、妻の仕事も探しやすいかなと思っています。

地震リスクが低そうだから

他の災害ならまだしも地震は死のリスク高すぎるので、住む場所でそのリスク回避できるなら回避したいと思っていました。

全然詳しくないのですが、糸島であればよく耳にする南海トラフ地震と首都直下地震は回避できそうかなと雑に考えてます。

九州住んだことないから

関西に24年住んで、関東に4年住みました。親が長浜に住んでいるので関西に戻ったほうがいいのかなと思いつつも、短い人生色んな場所に住んでみたいという思いから九州に軍配が上がりました。わがままな息子の意見を尊重いただきありがとうございます。いっぱい関西帰ります。

フルリモートできるから

2021年に今の会社に入社して早3年が経とうとしているのですが、とても魅力的なメンバーと一緒に働かせていただいており、まだまだ頑張りたいと思っております。

通常であれば仕事のために東京に居続ける必要があるの思うのですが、今の会社はフルリモートで働かせていただくことができるのです。大変ありがたいです。

既に福岡から働いているエンジニアのメンバーも何人かいらっしゃるのもとても心強いです。

家賃が安いから

糸島での新しい賃貸の家を決めたのですが、家賃が半額になって、部屋が1つ増え、南を向き、新築になりそうです。

蔵前の家を探すときはSUUMOを毎日開いて血眼になって探していたのに、糸島の家探してみたら半額の家賃の家がみんな南を向いて建っており、どこでもいいやとなりました。

将来平屋の戸建てに憧れたりもしているのですが、土地は値段上がってきているらしくちょっとちゃんと調べねばという感じです。

移住される方が多そうだから

糸島市のことを調べ始めて後で知ったのですが、世界で魅力的な小都市として、2021年に糸島市が世界3位に選ばれたらしいです。

https://www.city.itoshima.lg.jp/s045/20210103160702.html

糸島市の移住相談担当者の方や実際に移住された方に聞いたところ、元々住まれていた方ばかりではなく移住された方も多いそうです。縁もゆかりも無い土地なので割と大きな安心材料です。

人口が増加しているから

ほとんどの自治体の人口は減少している中、糸島市の人口は増加していて現在10万人ほどです。発展していく地域の恩恵にあやかりたいという邪な考え方です。

ゴルフ場あるから

完全に後付けですが、去年からゴルフにハマっていて、糸島にいくつかゴルフ場があるのをとても楽しみにしています。アクアラインの渋滞に巻き込まれずにゴルフにいける…！

まとめ

そんなこんなで糸島に移住します。プラスの面ばかり目をやって夢のような生活が送れると思っちゃってますが、来年同じことを言ってるかどうか乞うご期待です。

LlamaIndexを触ってみる (Part 1)

Sun, 17 Dec 2023 05:50:40 +0900

現職では、RAG(Retrieval-Augmented Generation)を使ったアプリケーションを構築しています。

RAGを実装するにあたっての有用なライブラリとしてLlamaIndexというものがあります。

https://docs.llamaindex.ai/en/stable/index.html

このドキュメントを読んでみて、今まで自分になかった気づきを軽くまとめておきます。ただの走り書きなのでめちゃ読みにくいです。

気づきたち

エンジンは、データへの自然言語アクセスを提供します。例えば：クエリエンジンは、知識を強化した出力のための強力な検索インターフェイスです。チャットエンジンは、データとのマルチメッセージの「往復」対話のための会話型インターフェイスです。

「エンジン」という単位がある。

https://docs.llamaindex.ai/en/stable/getting_started/concepts.html#stages-within-rag

読み込み: これは、データが保存されている場所 (テキストファイル、PDF、別の Web サイト、データベース、API など) からパイプラインにデータを取得することを指します。 LlamaHub では、数百ものコネクタから選択できます。

RAGのためにデータを読み込むコネクタがLlamaHubに数百ほど公開されている。

https://docs.llamaindex.ai/en/stable/getting_started/concepts.html#querying-stage

ルーター: ルーターは、ナレッジベースから関連するコンテキストを取得するためにどの取得者を使用するかを決定します。より具体的には、 RouterRetriever クラスは、クエリを実行する 1 つまたは複数の候補取得者を選択する役割を果たします。セレクターを使用して、各候補者のメタデータとクエリに基づいて最適なオプションを選択します。
ノードポストプロセッサ: ノードポストプロセッサは、取得したノードのセットを受け取り、それらに変換、フィルタリング、または再ランキングロジックを適用します。
レスポンスシンセサイザー: 応答シンセサイザーは、ユーザークエリと取得されたテキストチャンクの指定されたセットを使用して、LLM からの応答を生成します。

RAGのクエリする段階においては、ただクエリする以外にもルーティングする、受け取ったノードを加工する、ノードを使ってレスポンスを生成する、という概念が実装されている。

https://docs.llamaindex.ai/en/stable/getting_started/concepts.html#putting-it-all-together

クエリエンジン: クエリエンジンは、データに対して質問できるようにするエンドツーエンドのパイプラインです。自然言語クエリを受け取り、取得して LLM に渡した参照コンテキストとともに応答を返します。
チャットエンジン: チャットエンジンは、データと会話するためのエンドツーエンドのパイプラインです (1 回の質疑応答ではなく、複数回のやり取り)。
エージェント: エージェントは、一連のツールを介して世界と対話する、LLM を利用した自動化された意思決定者です。エージェントは、所定のタスクを完了するために任意の数のステップを実行し、事前に決められたステップに従うのではなく、最適な行動方針を動的に決定できます。これにより、より複雑なタスクに取り組むための柔軟性がさらに高まります

RAGアプリケーションは大きくこの3つに別れる。

https://docs.llamaindex.ai/en/stable/use_cases/extraction.html

LLM は、大量の非構造化データを取り込んで構造化形式で返すことができ、LlamaIndex はこれを簡単にするように設定されています。 LlamaIndex を使用すると、LLM に自然言語を読み取り、名前、日付、住所、数値などの意味的に重要な詳細を識別させ、ソース形式に関係なく、それらを一貫した構造化形式で返すことができます。これは、チャットログや会話トランスクリプトなどの非構造化ソース資料がある場合に特に便利です。構造化データを取得したら、それをデータベースに送信したり、コードで構造化出力を解析してワークフローを自動化したりできます。

非構造化データにおける名前、日付、住所、数値などの意味的に重要な詳細を構造化形式で抽出するユースケースも紹介されている。

Vimmerを卒業してCursorerになる

Sun, 10 Dec 2023 04:33:09 +0900

お久しぶりです。ChatGPTを使えば毎週ブログ記事かけるっしょっと思っていたのですか、気づけば前回投稿から半年以上経ってました。

ゴルフし過ぎました。

2020年に社会人になってからVimで開発をし続けていたのですが、ついにVimを卒業してCursorというAIベースのエディタに転向しました。

理由は「Vimを使っている時点で、自分でコードを書こうとしてしまって、AIにコードを書かせる癖がつかないから」です。

今年の9月からAIに関するプロダクトの開発チームにjoinしたのも転向しようという考えに至るきっかけとなりました。

そんなAIベースエディタのCursorをどのように使っているのかを書き残しておきます。

Cursorとは

https://cursor.sh/

VSCodeからForkされて開発されたコードエディタです。AIとペアプロできる感じになっています。

開発者が見た感じ4人。。。強い。。。

https://anysphere.co/

Cursorでできること

コードについて質問できる

こんな感じでなんの処理をしているのかなんかを質問できます。

そのほかにも、

なんの処理をしているかだけでなく、そのコードが書かれている背景を推測してもらうとかもよくやります。

エンジニアリングにおいて、自分がわかっていない領域を認知するメタ認知能力はとても大事です。先輩エンジニアにしょうもない質問はできないですが、AIならお構いなく質問できるかも…?

コードを書いてくれる

こんな感じで勝手にコード書いてくれます。Github Copilotではこれから書こうとする行を補完してくれるのみで具体的な指示はコメントを駆使する必要があるのですが、Cursorだとコードの外で指示を書いたりAcceptしたりRejectしたりできるのが良いです。

コードを修正してくれる

エラーが出た場合はそのエラー文をコピーして解消方法を探して見つけたらそれをコピーして…と割と大変なんですが、ボタン1クリックで原因を見つけてボタン1クリックで解消してくれます。最強。

コマンドも書いてくれる

このコマンドのオプションなんだっけ…?ってなってmanでいちいち調べるのめんどくさいですよね…

最新のツールのコマンドなんかは学習されていない場合もあるかもなのですが、curlなんかの枯れたツールのコマンドなんかは安心して書いてもらえます。

Vimの操作感は捨て難い…!

init.vim をそのまま読み込ませてそのまま動作させるわけには行かないのですが(行けるかもなのですが)、VSCodeの settings.json で自分がやりたい操作を定義し直しました

{
  "vim.normalModeKeyBindings": [
    {
      "before": ["C-h"],
      "after": ["^"]
    },
    {
      "before": ["C-l"],
      "after": ["$"]
    },
    {
      "before": ["C-y", "t"],
      "commands": [
        {
          "command": "workbench.view.explorer"
        }
      ]
    },
    {
      "before": ["g", "r"],
      "commands": [
        {
          "command": "editor.action.revealDefinition"
        }
      ]
    },
    {
      "before": ["\\", "r", "n"],
      "commands": [
        {
          "command": "editor.action.rename"
        }
      ]
    },
    {
      "before": ["K"],
      "commands": [
        {
          "command": "editor.action.showHover"
        }
      ]
    }
  ],
  "vim.visualModeKeyBindings": [
    {
      "before": ["C-h"],
      "after": ["^"]
    },
    {
      "before": ["C-l"],
      "after": ["$"]
    }
  ],
  "vim.operatorPendingModeKeyBindings": [
    {
      "before": ["C-h"],
      "after": ["^"]
    },
    {
      "before": ["C-l"],
      "after": ["$"]
    }
  ],
}

まるっと私のVSCodeの設定を載せておきます。

ChatGPTと文字数制限しりとりしてみた

Sun, 23 Apr 2023 15:40:51 +0900

こんな感じでちょっと特殊なしりとり始めてみました。限界しりとりの時間制限がないバージョンで、本来なら文字数を決めるカードが必要になってくるのですが、その役割もChatGPTに任せてみます。

文字数制限しりとりスタート!

関西弁を要求してみると、、、

コテコテの関西弁使ってくれました、ただ「ん」で終わってくるので指摘してみます。

「ん」のルールは覚えたのですが、今度はしりとりの肝心なしりを取るルールを間違えてきます。

やっと直してくれました。続けます。

めっちゃ間違えられたので自分もわざと間違えてみます。

一丁前に指摘してくるw

誰にでもあると言った矢先に自分が間違えてきます。

ことごとく間違ってきます。やはり万能のAGIとかではなく、もっともらしい単語を予測してそれを出力する言語モデルなので、出力してみて

しりとりのルールを満たしているか
文字数制限をみたしているか

をチェックする機構はないようです。出力中にそのチェックを許すようにしたのですが、

出力している内容をもとにその先を出力するところまでできているように見せかけてできていなさそうでした。

まとめ

LLMの出力をアプリケーションにおいて利用するには、この出力のゆらぎと戦う必要がありそうです。

Stable DiffusionをDiffusion Beeで動かしてみた

Fri, 21 Apr 2023 16:50:04 +0900

先日までMidjourneyの無料版が使えていたので、アイコン作ってもらおうと思って以下を生成しました。

ものの10分ぐらいでこれくらいのクオリティかけるのすごいですよね。

ただそのMidjourneyの無料版が一時停止になってしまい使えなくなってしまいました…

もう一度画像生成を触ってみたかったので、今回はすべて自分のPCで画像を生成してみました。

使うのは以下です

Diffusion Bee https://diffusionbee.com/
- Stable Diffusionという画像生成モデルをMacで動かすツール
andite/anything-v4.0 https://huggingface.co/andite/anything-v4.0
- アニメ風画像を生成できるStable Diffusionモデルの1種

まずDiffusion Beeをダウンロードします。

私はM1 MacじゃないのでIntelのやつをダウンロードしました。。。

ダウンロードするだけデフォルトのモデルが入っていて動かせるのですが、何かに特化したモデルの方が綺麗に生成できると思って、andite/anything-v4.0をダウンロードしてimportしました

これでMidjourneyと同じプロントを試してみようと思います。

高校生の時に見ていたブラッディマンデイの主人公に憧れてエンジニアになったと言っては過言なんですが、その高木藤丸の特徴を抽出してMidjourneyに絵にしてもらったんです。

こんな感じでプロンプトを作りました(確か)

抽出された単語を減らしてプロンプト完成です!

早速これを使って画像を生成します。

自分のPCが雑魚いのか、Resolutionは256x256でStepsは10にしないと真っ黒な画像が生成されてしまったので注意してください🙏

チラッと見えているのですが、3~4分待つとこんな感じの画像が生成できました。

。。。Midjourneyほどの感動は得られませんでしたが、ちゃんとPCらしきものがあったり、なんか賢そうなのですごいです。

自分のPCで生成するには限界そうだったので、次はGoogle Colabを使ってもうちょっと高画質な画像にチャレンジしてみようと思います💪

Salesforce認定 Experience Cloudコンサルタント試験をChatGPTに解かせてみた

Thu, 20 Apr 2023 14:40:49 +0900

解かせてみたシリーズ第2弾です。

Salesforceの勉強している人が辛そうだったので、自分の周りで一番Salesforceに詳しそうなChatGPTに聞いてみました。

Insight

Salesforceという一企業のSaaSに関する知識も余裕で学習できている
1問間違えたけど人間も間違えていた問題
ただ解答させるのではなく、なぜその解答になったのですか? と追加で質問できるため、家庭教師みたい。家庭教師いらなくなるのでは。。。

やりとり

USER

あなたはSalesforceのすべての資格を持った試験対策の講師です。以下の設問に対して解答しわかりやすく解説してください。

Cloud Kicks（CK）は、ユーザーが情報を簡単に検索して閲覧できるように、サイトのコンテンツを整理したいと考えています。この目標を達成するためにCKが使用すべき3つの機能はどれですか？

□ 注目のトピック □ ナビゲーションツリー □ ナビゲーショントピック □ コンテンツグラフ □ コンテンツトピック

ASSISTANT

Cloud Kicks（CK）がサイトのコンテンツを整理し、ユーザーが情報を簡単に検索して閲覧できるようにするために、以下の3つの機能を使用することをお勧めします。

注目のトピック (Featured Topics)
ナビゲーションツリー (Navigation Tree)
コンテンツトピック (Content Topics)

解説:

注目のトピック (Featured Topics): これは、コミュニティやサイトのホームページに表示される、選択したトピックのリストです。ユーザーに重要なトピックを簡単に見つけてもらうために使用します。CKは、これを使って注目すべきコンテンツをハイライトし、ユーザーが求める情報へのアクセスを容易にすることができます。
ナビゲーションツリー (Navigation Tree): ナビゲーションツリーは、サイト上の構造化されたコンテンツを表示する階層的なメニューシステムです。これにより、ユーザーは関連するページ間を容易に移動できます。CKは、ナビゲーションツリーを使用して、コンテンツの整理とユーザーの探索をサポートできます。
コンテンツトピック (Content Topics): これは、コンテンツを関連するトピックにタグ付けするために使用されるカテゴリーシステムです。トピックを使用することで、ユーザーは関連する情報を簡単に見つけられるようになります。CKは、コンテンツトピックを使って、サイト上の情報を関連性のあるグループに整理し、ユーザーが求める情報へのアクセスを容易にすることができます。

USER

正解は注目のトピック、ナビゲーショントピック、コンテンツトピックだそうです。が、あなたのナビゲーションツリーという解答も間違っていないように思います。なぜナビゲーションツリーではなくナビゲーショントピックが正解になっているかの見解を教えてください。

ASSISTANT

おっしゃる通り、正解は注目のトピック、ナビゲーショントピック、コンテンツトピックです。私の最初の回答では、ナビゲーションツリーを含めていましたが、正しくはナビゲーショントピックです。お詫び申し上げます。

ナビゲーショントピックとナビゲーションツリーの違いについて説明します。

ナビゲーショントピック (Navigation Topics): これは、Salesforceコミュニティ内でコンテンツを整理するためのメインの方法です。ナビゲーショントピックは、ユーザーが特定のトピックをクリックすることで、関連する情報をすぐに見つけることができるようになります。これはコミュニティ内の情報探索を容易にするために使用されます。ナビゲーショントピックは、コンテンツを関連性のあるグループに整理し、ユーザーが求める情報へのアクセスを容易にすることができます。
ナビゲーションツリー (Navigation Tree): これは、サイト上の構造化されたコンテンツを表示する階層的なメニューシステムです。ナビゲーションツリーは、主にウェブサイトやポータルで使用される機能であり、Salesforceコミュニティ内ではあまり一般的ではありません。

ナビゲーショントピックが正解になっている理由は、Salesforceコミュニティにおいて、ナビゲーショントピックがコンテンツの整理とユーザーの情報探索をより効果的にサポートするためです。ナビゲーションツリーはウェブサイトやポータルで役立ちますが、Salesforceコミュニティのコンテンツ整理にはナビゲーショントピックが適しています。

USER

ありがとうございます、次の問題です。

Universal Containersは、チャネル販売、リード配布、および取引登録をサポートするサイトの作成を検討しています。UCはどのテンプレートを選択する必要がありますか？

□ ヘルプセンター □ カスタマーアカウントポータル □ パートナーセントラル □ 自分で作る

ChatGPTに京都大学2014年度の数学の問題を解かせてみた

Wed, 19 Apr 2023 14:18:15 +0900

これとてもやってみたかったんです。

自分は2017年から3年間研究室で数理最適化に関する研究をしていました。

数理最適化の考え方は機械学習の考え方と違って泥臭くて、分析したい対象の振る舞いを全て数式化してボトムアップで解を見つける方法なんです。

それとは違って機械学習は、論理はよくわからんが予測して答えがあってればOKという方法です。

これだけ聞くとなんとチャラい考えといいますか…答えだけ書いて道筋示さない学生みたいですよね。

だから当時は機械学習なんてそんなもん答えがあってたとしても何の意味が…みたいに穿った見方でみていました。

ですが、2023年現在の大規模言語モデルの人間の問いに対する回答は、ちゃんと人間が求める背景を汲み取って予測した単語を吐き出してくれるので、予測の羅列とはもう思えないですよね…

そんなChatGPTが今日解く問題はこちら!

https://bouseijuku.sakura.ne.jp/2014kyoto-sugaku.pdf

整数問題です。なぜなら文章として入力しやすいからです。

解答はこちら。

では質問してみましょう。

Let’s ask ChatGPT

### USER
自然数 a，b はどちらも3で割り切れないが， a^3 + b^3 は81で割り切れる．このような a，b の
組 (a , b) のうち， a^2 + b^2 の値を最小にするものと，そのときの a^2 + b^2 の値を求めよ．

### ASSISTANT
a、bは3で割り切れないので、aとbは3の倍数ではありません。このため、aとbは形式3k + 1または3k + 2のどちらかになります。

a^3 + b^3 が81で割り切れるため、a^3 + b^3 = 81n（nは整数）でなければなりません。

仮にaとbがどちらも形式3k + 1であると仮定しましょう。この場合、a = 3x + 1、b = 3y + 1と表すことができます。ここで、xとyは整数です。

a^3 + b^3 = (3x + 1)^3 + (3y + 1)^3
           = 27x^3 + 27x^2 + 9x + 1 + 27y^3 + 27y^2 + 9y + 1
           = 27(x^3 + x^2 + y^3 + y^2) + 9(x + y) + 2

この式が81の倍数であるため、9(x + y) + 2は9の倍数でなければなりません。しかし、これは矛盾です。なぜなら、9(x + y) + 2は必ず2を余りとして残すからです。したがって、aとbは形式3k + 1のどちらもできません。

同様に、aとbがどちらも形式3k + 2である場合も矛盾が生じます。

従って、aとbは形式3k + 1と3k + 2のどちらか一方が成り立つ必要があります。

例えば、a = 3x + 1、b = 3y + 2（または、a = 3x + 2、b = 3y + 1）とします。すると、a^3 + b^3は81で割り切れます。

a^2 + b^2 を最小にするようなaとbを求めたいので、a = 1, b = 2（または a = 2, b = 1）とします。これは、aとbが3で割り切れない最小の整数です。この場合、

a^2 + b^2 = 1^2 + 2^2 = 1 + 4 = 5

したがって、aとbの組(a, b)が(1, 2)または(2, 1)の場合、a^2 + b^2の値は最小で5になります。

### USER
a^3 + b^3 が81で割り切れなくないですか?

### ASSISTANT
すみません、その通りです。私の説明が間違っていました。
...

だめでした。ChatGPTを論破するの気持ちいいですよね。

ChatGPT4 本格RPG「チャット転生〜死んだはずの幼馴染が異世界で勇者になっていた件」をプレイしてみた

Tue, 18 Apr 2023 12:58:49 +0900

以下で紹介されているゲームをやってみました！

https://note.com/fladdict/n/n2a82d26f10dc

こんなちょっとのプロンプトでゲームになってるのすごいですよね。。。

では早速。

ASSISTANT

友達の名前：ユイ

外見：金髪のロングヘアで瞳の色は青、スリムで華奢な身体つき。

性格：快活で明るく、面倒見が良い。困っている人を放っておけない性格。

口調・態度：穏やかで丁寧な口調。時折、子供っぽいところも見せる。

【物語の進行】0点【危機の高まり】0点【技術革新】0点

ある日、君は亡くなったはずの幼馴染のユイから謎のメッセージを受け取る。

ユイ「ねえ、もしかしてこれ…君に繋がってるのかな？私、どうやら別の世界で生き返ったみたいなんだ。でも、こっちの世界は魔王がいて大変なことになっているみたいで…君の知識が役立つかもしれないと思って、このチャットで繋がってみたんだけど。」

君は彼女の言葉を信じられるかどうか分からないが、一度話を聞いてみることにする。

ユイ「グリーンハウスっていうのは、屋内で栽培を行うことができる施設で、天候に左右されずに一定の環境を保てるんだね。それなら、食料生産が安定するし、不足している地域でも役立ちそうだね！」

【物語の進行】30点【危機の高まり】0点【技術革新】30点

ユイ「これからグリーンハウスを試してみる方法を調べて、食料不足に悩む人たちにも提案してみるね。君の知識が本当に助かるよ。ありがとう！」

しかし、そのころ魔王は新たな計画を立てていた。農村部の水源を毒で汚染し、人々を苦しめていた。ユイはこの問題を解決するためにもう一度、君の力を借りることになる。

ユイ「魔王が農村部の水源を毒で汚染してしまったみたいなんだ。このままじゃ人々が大変なことになってしまう。毒を水から取り除く方法を知っているかな？君の知識がまた助けてくれると嬉しいな。」

USER

魔王ひどいやつやなー、、、もう魔王倒しに行った方が早いんちゃう?

ASSISTANT

ユイ「うん、魔王は本当にひどいやつだよね。でも、今すぐ魔王を倒しに行くには力が足りないんだ。だから、少しでも人々の苦しみを和らげる方法を見つけたいと思っているんだ。水の毒を取り除く方法があれば、それを使って水源を綺麗にして、人々が安心して水を飲めるようになるんじゃないかな。君の知識で何かアイデアはないかな？」

USER

ほーなんかー、、、シンプルに沸騰させるのがええんちゃうかな? 手の込んだ毒じゃないなら煮沸消毒でええはずや

GPT-4のスクリプト実行したら記事全部消えた

Mon, 17 Apr 2023 15:25:19 +0900

昨日に引き続きなんかGPT-4で遊ぼうとしたのですが、Wordpressにおいてソースコードが綺麗に表示されていないのがとても気になっていました。

WordPressでPrism.jsを使ってシンタックスハイライトを行う方法

これでやっていたのですが、クラスをいちいち指定するのがめんどくさいのです。

そこで、いい感じのプラグインないか聞いてみました。これは普通にGoogleに聞きました。ノウハウではなくこういった拾いものを探す時はやっぱりネットサーフィン。以下のサイトで

https://re-inx.com/syntax-highlighter

こやつに出会いました。

https://ja.wordpress.org/plugins/code-block-pro/

シンプルできれい

楽。

こやつに決めた。

が、全ての記事1つ1つこいつを当てていくのは大変。そこでChatGPT。

それは誰でも思いつくねんな〜

ほう。

おー、なんかいけそ〜〜〜

ここでGPT-4ちゃん召喚。

このスクリプトを実行する前に、以下の手順に従ってください。

1. このスクリプトをテキストエディタに貼り付け、`convert_code_blocks.sh`のような名前で保存します。
2. ターミナルを開き、スクリプトの保存場所に移動します。
3. `chmod +x convert_code_blocks.sh`を実行して、スクリプトに実行権限を付与します。
4. スクリプトを実行する前に、WordPressサイトのバックアップを作成します。
5. `./convert_code_blocks.sh`を実行して、スクリプトを実行します。

よーわからんけどいけるっしょ! と思って実行したら全部記事消えました。そこからはもうGPT-4の言うことは何も信じれず…全部Googleで調べてバックアップを復元しました。。。

まとめ

生成したコードを実行するときは気をつけましょう!!!

## USER
ちなみにさっきのスクリプトで記事全部消えたからおこです

## ASSISTANT
大変申し訳ございません。指示されたスクリプトが問題を引き起こしたことをお詫び申し上げます。この状況を解決するために、以下のステップを試してみてください。

1. **バックアップから復元**: WordPressのバックアップがある場合は、バックアップから記事を復元することができます。これには、データベースのバックアップと、`wp-content`ディレクトリのバックアップが必要です。バックアップがある場合は、データベースとファイルを復元して、記事を回復することができます。

2. **リビジョンをチェック**: WordPressは、記事の各バージョンをリビジョンとして保存しています。記事が完全に削除されていない場合、以前のリビジョンを使用して記事を復元できることがあります。これには、WordPressの管理画面から、編集画面にアクセスし、「リビジョン」ボックスをチェックして、以前のバージョンを選択する必要があります。

3. **キャッシュやバックアッププラグインを確認**: キャッシュプラグインやバックアッププラグインを使用している場合は、これらのプラグインが保存しているデータを確認して、記事を復元できるかどうかを確認してください。

今後のトラブルを避けるために、以下の注意点をお勧めします。

- 実行する前に、スクリプトやコマンドの内容をよく理解しておくことが重要です。
- 開発環境やステージング環境でスクリプトやコマンドをテストしてから本番環境で実行することをお勧めします。
- 定期的にバックアップを取得し、適切な場所に保管しておくことが重要です。これにより、データが失われた場合でも復元できるようになります。

再度、問題が発生したことに対してお詫び申し上げます。今後のトラブルを避けるために、これらのアドバイスに従っていただければと思います。

だそうです😠

ChatGPTでテトリス作ってみた

Sun, 16 Apr 2023 02:42:37 +0900

お久しぶりです。前回投稿が2022-08-15なので、サボりすぎですね…

情報のインプットは好奇心から頑張れるというか知識を得るのが楽しいのでやるんですが、情報のアウトプットって既に知っている知識を使うことなので気が進まないものですよね…定着させるには大事なんですが、特に定着させるモチベーションもなく…

ただ、やっとそのアウトプットを勝手にやってくれる時代がやってきました。そうChatGPTです。こやつにコンテンツを作ってもらう取り組みがどれくらい続くかチャレンジをやってみようと思い、ChatGTP Plus課金しちゃいました!

こやつを使って今日はテトリス作っちゃいます!

完成形

テトリスって、どんなブロックがあってどういうふうに回転してどこで壁にぶつかってとか、まじめに実装すると考えることいっぱいあるのですが、そんなことを考えずに一瞬で作ってくれました。天才です。

が、それを作ってから手直ししていく過程が大変だったので、会話の過程をご覧いただけたらと思います。

会話highlight

一瞬でコード書けるスーパーエンジニア

## USER
# 命令書:
あなたはフロントエンドエンジニアです。
以下の制約条件と入力文をもとにゲームのソースコードを出力してください。

# 制約条件:
* HTML、CSS、Javascriptのみで動く

# 入力文：
テトリス

# 出力文：

深津式プロンプト(https://chatgpt-lab.com/n/ne1643b7f10e6)を使ってみようとしたのですが、大して制約条件を書くことなく出力しちゃいました。

index.html を作って動かしたらこれ

もうエンジニアいらんやん…

すぐ解決策に走る初心者エンジニア

なんか右の画面いっぱいまでブロックが動かせなくて質問するのですが…

これやっても直りませんでした。どこが問題かを分析せず解決策に走る初心者エンジニアみたいです。でも、根気よく質問すると…

ちゃんとうごきました!

「コード見せて」といってくるベテランエンジニア

「次のブロックを表示」という機能追加もちょっとバグっていて、いろいろ質問して直そうとしたのですが

なかなか直らないとみたやコード全体を要求してきました。今度はこっちがなかなかバグを治せない初心者エンジニアみたいです…

かわいい

最後にお礼にコードレビューしてみると…?

GPT-4の使用上限にひっかかって、GPT-3.5になりました。。。コンテキストをちゃんと解釈してくれてない回答感ありますよね…KY…

ChatGPTと喋った内容

Takaaki

# 命令書:
あなたはフロントエンドエンジニアです。
以下の制約条件と入力文をもとにゲームのソースコードを出力してください。

# 制約条件:
* HTML、CSS、Javascriptのみで動く

# 入力文：
テトリス

# 出力文：

ChatGPT

以下は、HTML、CSS、Javascriptを使用してテトリスゲームを実装するための簡単なソースコードです。このコードをhtmlファイルにコピーして実行することができます。

<!DOCTYPE html>
<html lang="ja">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>テトリス</title>
    <style>
        body {
            font-family: Arial, sans-serif;
            display: flex;
            justify-content: center;
            align-items: center;
            height: 100vh;
            margin: 0;
        }

        canvas {
            border: 1px solid #000;
        }
    </style>
</head>
<body>
    <canvas id="game" width="320" height="640"></canvas>
    <script>
        const canvas = document.getElementById("game");
        const context = canvas.getContext("2d");
        const scale = 20;

        context.scale(scale, scale);

        const arenaSweep = () => {
            outer: for (let y = arena.length - 1; y > 0; y--) {
                for (let x = 0; x < arena[y].length; x++) {
                    if (!arena[y][x]) {
                        continue outer;
                    }
                }
                const row = arena.splice(y, 1)[0].fill(0);
                arena.unshift(row);
                ++y;
            }
        };

        const collide = (arena, player) => {
            const [m, o] = [player.matrix, player.pos];
            for (let y = 0; y < m.length; ++y) {
                for (let x = 0; x < m[y].length; ++x) {
                    if (m[y][x] && (arena[y + o.y] && arena[y + o.y][x + o.x]) !== 0) {
                        return true;
                    }
                }
            }
            return false;
        };

        const createMatrix = (w, h) => {
            const matrix = [];
            while (h--) {
                matrix.push(new Array(w).fill(0));
            }
            return matrix;
        };

        const draw = () => {
            context.fillStyle = "#000";
            context.fillRect(0, 0, canvas.width, canvas.height);

            drawMatrix(arena, { x: 0, y: 0 });
            drawMatrix(player.matrix, player.pos);
        };

        const drawMatrix = (matrix, offset) => {
            matrix.forEach((row, y) => {
                row.forEach((value, x) => {
                    if (value) {
                        context.fillStyle = "red";
                        context.fillRect(x + offset.x, y + offset.y, 1, 1);
                    }
                });
            });
        };

        const merge = (arena, player) => {
            player.matrix.forEach((row, y) => {
                row.forEach((value, x) => {
                    if (value) {
                        arena[y + player.pos.y][x + player.pos.x] = value;
                    }
                });
            });
        };

        const playerDrop = () => {
            player.pos.y++;
            if (collide(arena, player)) {
                player.pos.y--;
                merge(arena, player);
                playerReset();
                arenaSweep();
            }
            dropCounter = 0;
        };

        const playerMove = (offset) => {
            player.pos.x += offset;
            if (collide(

#### Takaaki
続けてください

#### ChatGPT
arena, player)) {
                player.pos.x -= offset;
            }
        };

        const playerReset = () => {
            const pieces = "TJLOSZI";
            player.matrix = createPiece(pieces[(pieces.length * Math.random()) | 0]);
            player.pos.y = 0;
            player.pos.x = ((arena[0].length / 2) | 0) - ((player.matrix[0].length / 2) | 0);

            if (collide(arena, player)) {
                arena.forEach(row => row.fill(0));
                alert("ゲームオーバー");
            }
        };

        const playerRotate = (dir) => {
            const pos = player.pos.x;
            let offset = 1;
            rotate(player.matrix, dir);

            while (collide(arena, player)) {
                player.pos.x += offset;
                offset = -(offset + (offset > 0 ? 1 : -1));

                if (offset > player.matrix[0].length) {
                    rotate(player.matrix, -dir);
                    player.pos.x = pos;
                    return;
                }
            }
        };

        const rotate = (matrix, dir) => {
            for (let y = 0; y < matrix.length; ++y) {
                for (let x = 0; x < y; ++x) {
                    [matrix[x][y], matrix[y][x]] = [matrix[y][x], matrix[x][y]];
                }
            }

            if (dir > 0) {
                matrix.forEach(row => row.reverse());
            } else {
                matrix.reverse();
            }
        };

        const createPiece = (type) => {
            if (type === "T") {
                return [
                    [1, 1, 1],
                    [0, 1, 0],
                    [0, 0, 0]
                ];
            } else if (type === "J") {
                return [
                    [0, 1, 0],
                    [0, 1, 0],
                    [1, 1, 0]
                ];
            } else if (type === "L") {
                return [
                    [0, 1, 0],
                    [0, 1, 0],
                    [0, 1, 1]
                ];
            } else if (type === "O") {
                return [
                    [1, 1],
                    [1, 1]
                ];
            } else if (type === "S") {
                return [
                    [0, 1, 1],
                    [1, 1, 0],
                    [0, 0, 0]
                ];
            } else if (type === "Z") {
                return [
                    [1, 1, 0],
                    [0, 1, 1],
                    [0, 0, 0]
                ];
            } else if (type === "I") {
                return [
                    [0, 1, 0, 0],
                    [0, 1, 0, 0],
                    [0, 1, 0, 0],
                    [0, 1, 0, 0]
                ];
            }
        };

        let dropCounter = 0;
        let dropInterval = 1000;
        let lastTime = 0;

        const update = (time = 0) => {
            const deltaTime = time - lastTime;
            lastTime = time;

            dropCounter += deltaTime;
            if (dropCounter > dropInterval) {
                playerDrop();
            }

            draw();
            requestAnimationFrame(update);
        };

#### Takaaki
続けてください

#### ChatGPT
const arena = createMatrix(10, 20);

        const player = {
            pos: { x: 0, y: 0 },
            matrix: null
        };

        document.addEventListener("keydown", event => {
            if (event.keyCode === 37) {
                playerMove(-1);
            } else if (event.keyCode === 39) {
                playerMove(1);
            } else if (event.keyCode === 40) {
                playerDrop();
            } else if (event.keyCode === 81) {
                playerRotate(-1);
            } else if (event.keyCode === 87 || event.keyCode === 38) {
                playerRotate(1);
            }
        });

        playerReset();
        update();
    </script>
</body>
</html>

このコードは、テトリスゲームの基本的な機能を実装しています。プレイヤーは矢印キーを使ってピースを操作し、Qキーで反時計回りに回転、Wキーまたは上矢印キーで時計回りに回転させることができます。行が埋まると消え、ゲームが続行します。ピースがスタックして画面上部に達すると、ゲームオーバーになります。このコードを自由にカスタマイズして、さらに機能を追加したり、見た目を改善したりすることができます。

Makefileで改行文字を扱う

Mon, 15 Aug 2022 14:29:47 +0900

最近、Github CLIの存在を知って使いこなそうと頑張っている。

その中のコマンドの1つとしてPRを作成するコマンド gh pr create がある。

https://cli.github.com/manual/gh_pr_create

オプションの1つである --body を使えば、PRのbodyもコマンドラインから渡せてしまう。


gh pr create --web --body "
### What

プルリクエストをコマンドラインから作成してみた
"

ただし、これをMakefileの中でやろうとすると以下のようなエラーになる。

# Makefile
create-pr:
	gh pr create --web --body "
	### What

	プルリクエストをコマンドラインから作成してみた
	"

# execute `make create-pr`
gh pr create --web --body "
/bin/sh: -c: line 0: unexpected EOF while looking for matching `"'
/bin/sh: -c: line 1: syntax error: unexpected end of file
make: *** [create-pr] Error 2

Makefileの中では1行1コマンドとして解釈されてしまうため、ダブルクオーテーションの終わりを探してくれない。

Vimのヤンクレジスタを使いこなしたい

Sat, 13 Aug 2022 20:41:55 +0900

大学4回生からプログラミングを始めて、Atoms、Sublime Text、VS Code、IntelliJといろんなエディタを触ってきましたが、社会人になってからVimをずっと使い続けています。

最初は慣れないキーストロークでノロノロコーディングするのが苦痛でしたが、今ではVim以外でトラックパッドを触るのがめんどくさいと感じるようになってきました。

といってもまだまだVimを使いこなせておらず、工夫すれば簡単に終わりそうな操作があってもコーディングに集中したく、Vimの使い方を調べることは少ないです。

しかし、よくある操作でいつもうまくできない「単語をコピーして入れ替える」についてやっとちゃんと調べることにしてみました。

参考

この本の抜粋になります。

https://www.amazon.co.jp/dp/4048916599/

よくある間違い

キーストロークバッファの内容yiwcollection = getCollection();process(somethingInTheWay, target);jwwcollection = getCollection();process(somethingInTheWay, target);diwcollection = getCollection();process(, target);Pcollection = getCollection();process(somethingInTheWay, target);

初期の頃にやっていたとてもあるあるの行動です。ただ単語を削除してヤンク(コピー)した単語をはりつけたいだけなのですが、単語を削除した際に無名レジスタに削除した単語が格納されてしまうため、そのままPut操作を行うと、削除した単語が貼り付けられてしまいます。

Visual modeを使った回避策

いままでよくやっていたのがこの方法です。

キーストロークバッファの内容yiwcollection = getCollection();process(somethingInTheWay, target);jwwcollection = getCollection();process(somethingInTheWay, target);vecollection = getCollection();process(somethingInTheWay, target);pcollection = getCollection();process(collection, target);

こうすると選択対象と削除とヤンクした単語の貼り付けが同時に行われるので、削除した単語がはりつけられることはなくなります。しかし、入れ替えたい対象が2箇所以上あった時に、この操作をした後にはすでに無名レジスタには somethingInTheWay が格納されてしまっています。

ブラックホールレジスタを使った回避策

Vimには "_ というブラックホールレジスタ(消去専用レジスタ)が用意されています。保存したいわけではなくただ削除したのであれば、このレジスタにつっこめばいいわけです。これを使うと、先ほどの問題が解決します。

キーストロークバッファの内容yiwcollection = getCollection();process(somethingInTheWay, target);jwwcollection = getCollection();process(somethingInTheWay, target);"_diwcollection = getCollection();process(, target);Pcollection = getCollection();process(collection, target);

ただちょっとめんどくさいですよね? いちいち単語を削除するときはブラックホールレジスタに入れんとあかんから "_ を削除前に指定して…と考えることが多くなります。

ヤンクレジスタを使った回避策

おそらくこれが正解です。

キーストロークバッファの内容yiwcollection = getCollection();process(somethingInTheWay, target);jwwcollection = getCollection();process(somethingInTheWay, target);diwcollection = getCollection();process(, target);“0Pcollection = getCollection();process(collection, target);

富士山の須走ルートを日帰りで登ってみる

Sat, 13 Aug 2022 08:41:31 +0900

たまにはエンジニアリング全く関係ない記事を書いてみます。

富士山に登るのは初めでではなくて、大学3回生の時に吉田ルートから山小屋を使って山頂まで登ったことがあります。

とまあ台風が直撃して生憎の天気だったので、去年に富士宮ルートから山小屋泊ありでもう一度チャレンジしたのですが、またまた台風がきて…山頂まで登れず8合目から引き返して6合目で宿泊し下山することに…

今年再チャレンジしたかったのですが、なかなか山小屋を取ろうとするとあらかじめ日程を決める必要があり天気にされるのと、社会人になってしまったため1泊2日にすると休養日が取れないのと、相方が山小屋に泊まりなくないという諸々の理由から、日帰りで富士山に登るチャレンジをしました!

準備

7/16~18の3連休に何の予定もないことに気づいて、7/13に思い立って準備を始めました。

まずルートです。吉田ルートと富士宮ルート(山頂まで登れてないですが)の経験があったので、須走ルートにチャレンジすることにしました。

http://fujisan-climb.jp/trails/index.html

次に宿です。開山中は富士山マイカー規制がかかっているので、須走ルートの5合目の登山口に行くには道の駅すばしりから出ているシャトルバスに乗る必要があります。

http://www.pref.shizuoka.jp/kensetsu/ke-210/fujisan/

日帰りの登山なので朝一番に登りたく、始発の6:00に着きたいです。なので、この場所に近いところに泊まれば睡眠時間が確保できるかなと思い、裾野セントラルホテル寿々木に止まって4:30におきてレンタカーで向かいました。

あとは、登山用具です。現地で借りる手段をさがしたのですが、なかなか朝早くにやっていなかったり返す時間が18:00までとちょっと不安だったりで見つからなかったのですが、登山用品のネット宅配レンタル専門店神戸アウトドアを使って全て解決しました。

https://www.kobeoutdoor.com/

3日前だったのに移動日の土曜の朝までに届きましたし、前日にパッキングできますし、返す時もコンビニで汚れたまま返却できてめちゃ快適でした。

いざ登山

いよいよ当日7/17、4:30に起きるのは辛すぎましたがコンビニで食糧も調達して道の駅須走へ。5:45ぐらいについたのですが、シャトルバスに行列ができていて始発に乗れませんでした…10分後ぐらいに臨時の2本目がきて耐えました…

6:30ぐらいに5合目に着いて、30分体を慣らして7:00過ぎに出発。最初若干雨が降っていたんですが、だんだんやみつつレインコート脱ぎつつ進んで行きました。

6合目についたのが9:50です、公式には60分とあったのですがサボりすぎました。。。

http://fujisan-climb.jp/trails/subashiri/course.html

あわててガンガン進むことに。7合目には11:00につきました。

このあたりから私が高山病になりはじめ、歩みがとても遅くなり…

本8合目に13:20ごろについて、

14:45になんとか山頂まで辿り着きました!

公式では6時間で登れるとあったのですが、7時間45分かかっています…公式の人の足早すぎです…

このチリトマトめちゃおいしかったです。これをやるためにもう一度登ったまであります。

そこから砂走りをひたすらひたすらひたすらひたすら降ること4時間ぐらいですかね…18:45ぐらいに5合目までに辿り着いて最終のシャトルバスに乗ることができました。公式が3時間で下山できると書いていますが、とてもとてもでした。体力というよりいかに無心で足を動かすかという精神力の戦いでした。

まとめ

日帰りで富士山は登れますが、とても過酷です!!!!!!!!!!!!!!!!

AWSのアカウントは分けると安心

Sun, 31 Jul 2022 07:37:52 +0900

自分がAWSを触ったのは、大学院時代に友達と簡単なWebサービスをデプロイするときに使ったのが初めてでした。1通り基本的なことを学ぶために、udemyの教材を使って基本的なリソースをマネジメントコンソールから作って削除していました。

そういった個人的な開発をする中ではなかなかAWSアカウントを複数作ることはなく、1つのAWSアカウントの中にサーバーやデータベースを作ることが多いです。

しかし、現職に入社してIDaaS経由でAWSの権限をもらったときに大量のアカウントが表示されていてびっくりしました。今ではとても理に適った管理方法だなと思うので、その感想をつらつら書きます。

参考

AWSのマルチアカウント戦略ってなに？なぜ必要？【社内勉強会スライド】

https://dev.classmethod.jp/articles/why-aws-multi-accounts/

メリット

権限が分離されている安心感がすごい

現職ではサービスの環境をDevelopment、Staging、Productionの3種類にわけていて、アプリケーションをEKSで動かしています。

1つのAWSアカウント内でこれをやろうとすると、環境ごとのVPC、IAM Role、EKSクラスタを作ったりする必要があり、ちゃんと分離できているのかが不安になります。

しかし、環境ごとにAWSアカウントを作成するとこんな感じになります。

お互いが絶対に干渉しないので、内部の設定ミスによる事故を防いだり、外部からの攻撃の影響範囲を制限することにつながります。

工夫が必要な点

初期に必要なAWSリソースをCloudFormationで作成

Terraformを使って各AWSアカウントのリソースを管理したいところですが、初期の状態ではTerraformを実行するためのIAM Roleもないわけです。それをアカウントごとに作成するのは大変なので、CloudFormationを使って最低限必要なリソースを全てのアカウントに対して作成します。

AWS Organizationを使ってAWSアカウントをOrganization Unit単位でグルーピングしておけば、より細かいリソース作成が可能になります。

Transit Gatewayを使ってAWSアカウントをまたがった通信を行う

各サービスにおいてEKSクラスタを共有させたいが、DBやStorageは別アカウントで持たせたいということもあると思います。実現する方法の1つとして、Transit Gatewayを用いる方法が挙げられます。

この記事をとても参考にさせてもらいました🙏

Transit Gatewayを利用してVPC間で通信してみた

https://dev.classmethod.jp/articles/transit-gateway-vpc/

まとめ

現職でプロダクトの開発に携わりながら、こういったインフラを扱うSREのタスクもやらせてもらっていて、学んだことを残していこうと思います💪

Goのエラーハンドリングが好き

Sat, 16 Jul 2022 00:40:42 +0900

Goとの出会い

自分がGoを触り始めたきっかけは、大学院1回生の時に研究室の先輩と一緒に出たISUCONでした。パフォーマンスの観点でGoがめっちゃいいらしいからGoで出ようってなって、Go Tourなんかで勉強してました。

当時なんでもGithubにpushしたい病だったので、よーわからんリポジトリもありました。

https://github.com/adshidtadka/go_tour

エラーハンドリングがめんどくさい

そもそもプログラミングをちゃんと始めたのが大学4回生のDonutsでのアルバイトで、経験が浅いなんちゃてプログラマーでした。つまり、エラーハンドリングなんてかったるいと思っているわけです。

そんなマインドでGoのコードを読むと、どんな関数もerrorを返してくることにびっくりします。

こんな感じで何か関数を呼び出すとすかさずerrorが帰ってくるので、いちいちエラーハンドリングを書くのがめんどくさく握りつぶしたいという思いに駆られることが幾度となくありました。

type Result struct{}

func doSomething(code string) (*Result, error) {
	if code == "ok" {
		return &Result{}, nil
	}
	return nil, errors.New("エラーだよ")
}

func main() {
	_, err := doSomething("error")
	if err != nil {
		// エラーハンドリングをいちいち書かされる
	}
}

他の言語の多くにはtry-catchの仕組みがあるので、こっちのが絶対便利とか思っていました。


type Result = {};

const doSomething = (code: string): Result => {
  if (code === "ok") {
    return {};
  }
  throw new Error("エラーだよ");
};

const main = () => {
  try {
    const result = doSomething();
  } catch (e) {
    // ここ1箇所でまとめてエラーハンドリングできる
  }
};

やっぱりエラーハンドリングしたい

大学3年、社会人2年の時を経て考え方が変わりました。関数たちに対して思うことはエラーを勝手にthrowせずにちゃんと返して欲しいと思うようになりました。

その理由の一例がこちらです。最近プロダクトを開発する中で、不具合調査に時間がかかった例でもあります。

type Result = {};

const doSomething = (code: string): Result => {
  if (code === "ok") {
    return {};
  }
  throw new Error("エラーだよ");
};

const main = () => {
  try {
    const result = doSomething();
    const result2 = doSomething(); // こいつが呼ばれるかどうかわからない
  } catch (e) {

  }
};

try句のコードは全て呼ばれるわけではないのです。勝手にジャンプしてcatch句にいく可能性を考えてコーディングする必要があります。try句には長い処理を書かない方が無難でしょう。

React Hooksに対するテストを書いていきたい

Sat, 09 Jul 2022 02:30:50 +0900

ご無沙汰しております。会社のプロダクトチームの新しいメンバーの方がGoのLT会に出ておられて、自分もそういった個人での活動をしたくなった次第です。

React Hooksとは

以下の公式ドキュメントが詳しいです。

https://ja.reactjs.org/docs/hooks-intro.html

前職ではAngularで開発を行なっていたのですが、コンポーネントを定義するためにクラスを定義していて、意図しないタイミングでインスタンス変数が書き換わっているみたいなことがザラにありました。

Hookがない時代のReactも触ったことがあったのですが、同じようにクラスを定義してごにょごにょしなければいけないイメージがあって、現職でReactを触り始めるまではAngularもReactもさして変わらんでしょ、と思っていました。

結論、ReactのHookによりReactがとても気に入りました。関数でコンポーネントを定義できるので理解しやすく挙動も予想しやすいですし、カスタムHookを定義することでコンポーネントのロジックの部分だけを簡単に再利用することができます。

なぜHookに対してテストを書くの?

Hookはコンポーネントのロジックを司る部分であるため、テストが書きやすく実行も早いからです。

Hookだけでなく、コンポーネントに対してももちろんテストを書くことができます。以下のレシピ集においても、DOMどんな要素が描画されているのかをテストする方法が示されています。

https://ja.reactjs.org/docs/testing-recipes.html

しかし、DOMに対するテストは書きにくいです。評価する部分を書く際にcontainer.querySelector("strong").textContent みたいな感じで要素にアクセスする必要があるのですが、DOM構造を知っていないと書けません。要素があるかないかではなくDOM構造をテストしたいのであれば、テストを書くのではなくStorybookなんかを使って見た目を確認する方が本質的です。

また、DOMに対するテストは実行に時間がかかります。DOMの描画自体に時間がかかるというのもありますし、依存しているコンポーネントもビルドしなければならないという原因もあります。

前職ではDOMに対するテストがビルド時間短縮のボトルネックになっていて、JasmineからJestに移行することでいくらか速くならないかみたいなことを試行錯誤していました。

そこで、Hookに対してテストを書くわけです。HookにはDOM構造の概念がなく、stateに対して評価が書けます。DOMを描画する処理もなく、他のHookに依存しているみたいなことも少ないです。

どうやって書くの?

以下のドキュメントにある書き方を拝借させていただきます。

https://react-hooks-testing-library.com/usage/basic-hooks

こんな感じのカスタムHookがあれば、

import { useState, useCallback } from 'react'

export default function useCounter(initialValue = 0) {
  const [count, setCount] = useState(initialValue)
  const increment = useCallback(() => setCount((x) => x + 1), [])
  return { count, increment }
}

こんな感じでテストがかけます。

import { renderHook, act } from '@testing-library/react-hooks'
import useCounter from './useCounter'

test('should increment counter from custom initial value', () => {
  const { result } = renderHook(() => useCounter(9000))

  act(() => {
    result.current.increment()
  })

  expect(result.current.count).toBe(9001)
})

よくないですか?? 評価対象がHookの返り値としてreturnされるので、result.current.count みたいにさくっとアクセスできちゃいます。Hook内で作ったCallbackを呼び出したい時も、結局Hookの返り値としてreturnされるので、result.current.increment() みたいにさくっと呼び出せちゃいます。

エンジニアの仕事をなるべくわかりやすく書いてみる

Tue, 22 Mar 2022 06:46:02 +0900

自分は2018年から2020年3月まで大学院で2年間情報学を勉強・研究してエンジニアリングに触れ、2020年4月からはヤフー株式会社で新卒として企業でのエンジニアリングを学びました。2021年5月から株式会社グラファーに転職して、今現在”スマート申請”という製品のエンジニアとして働いています。

しかし、一口にエンジニアといってもやってていることはバラバラで、エンジニア同士であっても何してるかは見えてこないのに、ましてやエンジニアでない人は本当に何してるか想像もつかないと思います。

そこで、なるべくエンジニアでない人でもわかるように自分が毎日どんな仕事をしているか説明してみようと思います。

ちなみにスマート申請って何

オンラインで行政手続きが完結できるようにする製品です。一般的なwebフォームに必要な情報を入力して送信するだけで申請が完結します。

ざっくり何してるの

基本的にはユーザーがかかえている課題に対して、課題を解決する方法を提供することが自分の仕事です。こんなもの作って欲しいみたいな設計書が上司から渡されて、スケジュールに間に合うようにそれ通りになんか作っているわけではないです。

最初にすること

まず、ユーザーがどんな課題を持っているのかを特定します。

過去に自分が取り組んだ内容を噛み砕いたものが、”申請者に必要な入力項目だけ表示してほしい”というものでした。

しかし、”必要な入力項目だけ表示してほしい”というのは機能要望であって、課題ではありません。

“なぜ必要な入力項目だけ表示したいのか?”という問いから、”項目いっぱいあったら読むのに負担がかかるから”のように課題の形に変換し、”なぜいっぱいあったら負担がかかるのか?”のように課題をどんどん深掘っていきます。

その過程で、エンジニアの自分がユーザーにインタビューすることもありますし、ユーザーに近いビジネスのメンバーとディスカッションすることもあります。

結論、”必要かどうか判断する認知コストがかかる”というのが課題と判断しました。

課題の深掘り

課題を深堀りして特定できれば、それが解決できる方法を考えて、その課題を解決できるような機能要求に落とし込んでいきます。

先程の”必要かどうか判断する認知コストがかかる”の課題に対する要求としては、”不必要な入力項目は隠せるようにすること”のような形になります。

この機能要求で課題が解決されるかを確認します。

必要かどうかの判断を申請フォームが行って不必要なものを隠してくれたら、認知コストの課題は解決されそうですね。

いざ開発

要求を洗い出して要求を満たすことで課題が解決できると確認できたら、実際に開発を行って行きます。ここからがエンジニア以外の方に説明するのが難しいのですが。。。

エクセルで関数を使ったことがある方ならば、”SUMというエクセルの関数を使って、複数のセルの合計する”という要求を満たすことができると思います。

SUMの使用例

そんな感じで、”JavaScriptというプログラミング言語を使って、その項目が不必要であれば隠す”という要求を満たします。

エクセルだと最終的に式が出来上がりますが、プログラミングだと最終的にソースコードが出来上がります。

開発できたことをテストで証明

まだまだやることはたくさんあります。次にテストを書きます。

エクセルでsumを使って合計を計算するときも、ちゃんと合計が計算されるようになっているか確かめるために、セルにいろんな数字を入力すると思います。

300から100に変更

合計が800から600に変わる

同じことをエンジニアも行います。フォームにいろんな入力をしてみて、不必要と判断される場合にちゃんと隠れるのを確認します。

しかし、エンジニアはここで飽き足らずこれが自動的に確かめられるようにします。それがテストコードと呼ばれるものです。

テストコードを作ってそのコードを実行すると、必要な項目は表示されるし不必要な項目は表示されないことが自動的に確かめられます。ソースコードがちゃんと動く証明書がテストコードです。

ソースコードを組み合わせる

手元のPCで作って正しく動くことが確かめられても、ユーザーの課題は解決されません。ユーザーの方が触る申請フォームにこの機能を取り入れねばなりません。

パワポを複数人で編集したことがある人はわかると思うのですが、最新版だと思って自分の編集を取り入れてみたら、実は古いバージョンで、他の人の変更が反映されてなかった！みたいなことがあると思います。

エンジニアも複数人でソースコードを編集するのでこれが起こることは必死です。

そこでエンジニアはgitというバージョン管理ツールを使って、間違って古いバージョンが入らないようにします。

いざユーザーの手に

最後にユーザーに手が届くところにソースコードを持っていきます。

サーバーと言ってどんなふうに解釈されるか想像もつかないのですが、みなさんがスマートフォンでアクセスする先には必ずサーバーがあります。ここにアクセスしてもらってユーザーは申請フォームを見ることができます。

ですので、そのサーバーにあったソースコードを最新版のソースコードに入れ替えてあげることでやっとユーザーに機能が届きました🎉

ユーザーに機能を届けることを私たちはリリースと呼びます。

機能のリリース≠課題の解決

課題が解決されるように機能要求を考えて開発はしたのですが、実際に機能をリリースすることで課題が必ず解決されるとは限りません。実際にリリースした機能を使ってもらったユーザーの課題が解決されることを確認するまでがエンジニアの仕事です。課題が解決されていなければ、なぜ解決されていないかさらなる深掘りを行って、製品で解決できるものでれば改善を行いつづけます。

まとめ

自分も大学院に入るまではエンジニアリングの仕事が実際何をするのか全く分かっていなかったのですが、4年たってやっと1人前のエンジニアとして働けるようになってきたと感じています。

製品を作るエンジニアリングはこのような仕事かなと思うのですが、それ以外にもやらなければいけないことはたくさんあって、詳しくなった時に紹介できるような記事を書こうと思います!

2021年4月をもって転職する話

Thu, 01 Apr 2021 17:22:23 +0900

会社を評価するものではなく, 自分がどういう状況なのかを説明するためのものです。

マネジメントコンソールの開発

2020年4月から入社して研修が終わった後, 6月中旬から社内ツール開発のチームに配属されました。

社内ツールと言っても100以上のツールがあります。しかし, 各ツールのチームがそれぞれにUIを開発するため, サービスを開発するエンジニアは使いたいツールに辿り着くことが難しく, また横断的に使えないことが問題でした。

そこで, 社内のあらゆるツールを簡単に横断的に使えるUIを提供するのが我々のチームのミッションです。大袈裟に言ってみればAWSマネジメントコンソールの社内版を作るようなもので, 非常にやりがいのあるプロジェクトです。

幅広いスキルの獲得

このチームでの開発を通して非常に多くのスキルを身につけることができました。

Angular + TypescriptでのUI開発
Node + Express + TypescriptでのAPI開発
Nginxを使ったProxyの設定
ChefやKubernetesを使った構成管理
Open IDを使った認証周りの設計
スクラムやLeanでの開発
Unit, Integration, E2Eテストの作成
システム監視の設定
デザインシステムを使ったWD

こんなにも多くの技術スタックに触れるのは本当に幸運だと思います。

Gov-techへの興味

いま思い返せば, 自分はWebサービスによって便利になることに目がありませんでした。高校のころは, リリース当初のLINEを使って夏休みの課題を共有したり, iPod touchを使って漫画を読むのにDropboxを活用していました。他にも, 自分たちの代の文化祭のソーラン動画をYoutubeにアップロードしたりもしていて, 毎年再生回数を稼がせていただいております。

そんな性だからこそ, 行政サービスが不便なことに対して不満を抱いてしまいます…マイナンバーカードが発行された当時, このカードでいろんな手続きが簡単にできるようになる未来にわくわくしていたのですが, 生憎コロナ禍での給付金の手続きすら電子署名の失効によりできませんでした。

前回のブログでエストニアに関する本をいくつか挙げました。日本がエストニアのように個人情報を安全にかつ使いやすい形で管理して, 民間企業がそれを活かせる様になって欲しいと思っています。

偶然の出逢い

ここから前々回のブログの続きになります。

threeで出会った方がVCで働いておられたのでGov-tech領域の会社がないか聞いたところ, あるスタートアップ企業を紹介していただきました。

総務省で働いている先輩がいたので, 先輩にその会社のことを聞いてみたところ, タイミングよくその会社の方とお会いする機会に同席させていただきました。

その方にいろんなお話を伺っていくうちに仕事に魅力を感じて, 副業として働かせてもらえないかとお願いしたところ, 面接を経てインターンという形でお仕事をさせていただくことになりました。

転職を決心

インターンを終えてオファーをいただきたくさんの方と相談させていただいた結果, 4月末をもって今の会社を退職し, 5月から新しい会社で働くことに決めました。

今の会社はエンジニアを大事にする会社ですし, 最近盛り上がっていますし, 働き方も柔軟で, プロダクトも好きで, 楽しいチームだったので正直かなり迷いました。新卒1年目でまだまだ修行するつもりだったという思いもありました。

いろんな要素を比較検討しましたが, 最終的に自分がやりたいことかつ自分がやったほうがいいことという基準で判断しました。

関わってくださった方へ

今回の転職するにあたってたくさんの人にお世話になりました。

2020年度に読んだ本のまとめ

Tue, 23 Mar 2021 16:49:44 +0900

今年度はたくさん本を読んだので学生時代に読んだものも含めてまとめておく。

お金

世の中には"金持ち"がいることはなんとなくわかっていたが, 金持ちがなぜ金持ちなのかがとてもよくわかる。ロバート・キヨサキほど貪欲に金持ちになりたいという思いはないけれど, お金の心配をしない自由な生活がしたいと思った。

資金計画, 金融資産運用, タックスプランニング, 保険, 不動産, 相続・事業承継という分野に関して幅広くわかる。気がする。もともと疎い人が触りを学ぶ分にはちょうどよかった。次は簿記の勉強でもしようと思う。

生き方

LIFE SHIFT(ライフ・シフト)

人生100年時代において, 有形資産だけでなく無形資産の形成にも力を入れるべきだと主張している。

ワーク・シフト ─孤独と貧困から自由になる働き方の未来図<2025>

9年前の2012年に描かれているあと4年後の未来がとてもリアルで, “働く"ということについてとても考えさせられる。

ノマドライフ好きな場所に住んで自由に働くために、やっておくべきこと

学生の頃からたくさん海外に行って社会人になってフルリモートで働いている自分にとっては、共感できるというか既に実践している部分が多かった。時間や場所の制約を取り払ってやりたいことに集中できる状態を常に意識したい。

下流老人一億総老後崩壊の衝撃

社会保障や社会システムにより日本人の約9割が生活保護基準相当で暮らす高齢者になるという話。経済的に豊かで健康であることはもちろん大事だが、人間関係を大切にすることを見失わないようにしたい。

完訳 7つの習慣人格主義の回復

非常に共感できる習慣だった。また読み直したい。

2022――これから10年、活躍できる人の条件

8年前にかかれたとは思えないほど世の中の流れを正確に言い当てている。2024年に会社という存在が形骸化するという話は、出社せず仕事をしている今とても納得感があり、枠組みに囚われない考え方を大事にしたい。日本の未来に期待を持たせてくれる内容で嬉しい。

ハイ・コンセプト「新しいこと」を考え出す人の時代

デザイン・物語・調和・共感・遊び心・生きがいの6つの感性に新しい時代を生きる鍵が隠されているという。2006年に出版された本でありながら情報化社会の次の時代に対する考え方として共感できる部分がたくさんあった。

君に友だちはいらない

京都大学産官学連携本部イノベーションマネジメントサイエンス研究部門客員准教授だった人の本。切磋琢磨は本当に大事だと思っているのですごく共感できた。

学びを結果に変えるアウトプット大全

ノウハウ本はあまり頭に入ってこない…

ハック思考〜最短最速で世界が変わる方法論〜

もうちょっと深い話が欲しかった…

IT

みずほ銀行システム統合、苦闘の19年史史上最大のITプロジェクト「3度目の正直」

自分の職業柄こんなプロジェクトよくやり遂げたなと思ってたのに, 最近また障害を起こしてて目眩がしそう。

シン・ニホン AI×データ時代における日本の再生と人材育成

お気に入りの本。自分は日本が好きなので死ぬまでにこういったビジョンが実現できていたらいいなと思う。

コロナ第1世代入社からADDress生活を始めた流れ

Sun, 28 Feb 2021 12:16:18 +0900

しばらくブログを更新していなかったですが, エンジニアリング以外のことでちょっと書いてみます。非常に真面目なブログです。

社会人になる前の志

大学院を卒業してから早1年が経とうとしています。

私は大学時代6年間たくさんの出逢いに恵まれたおかげもありまして, 学問に注力することを怠ってたくさんの人と遊ぶことに全力を注いでいました。(遊ぶの定義は難しいのですが, 会話なり旅行なりテニスなり誰かと一緒に何かを楽しむことだと思っています)

そんな身ですので, 2020年4月から社会人になった暁には東京に出て身を粉にして働くつもりでした。私はIT企業にエンジニアとして就職したので, 師匠とも呼べる様なエンジニアの方を見つけて模倣して1人前のエンジニアになることと, 同期の人と知り合って多くのコネクションを作ることが目標でした。

コロナ第1世代としてのスタート

しかしいざ入社した最初の試練は仕事が忙しいとか難易度が高いなどではなく, コロナ第1世代としてリモートネイティブで働くことでした。

リモートワークのメリットデメリットは他のいろんなサイトにまとまっているので割愛するのですが, 自分としては前に述べた2つの目標がほぼ達成できない状態となってしまいました。質問したりレビューしてもらったりするもののペアプロなんかの共同作業は1画面でないと厳しいですし, 同期の友達でコミュニケーションを取るのは学生時代からの知り合いに止まっています。

と言いましてもご時世がご時世ですし嘆いていても仕方がないので, このフルリモート状況を逆手にとって何かできることはないかといろんなことを試しました。

いったん真面目に勉強

まずシンプルに勉学に励むことです。スキルアップに関することに関して会社から半年で6万円の手当がもらえたので, 技術書をたくさん読みました。詳しくは, 読書メーターにまとめていますのでよかったら見てください。

また, FP2級の試験を受けました。正直これを暗記しているだけでは何の役にも立たないと思うのですが, 将来不動産を運用したいだとか事業を持ってみたいという考えて勉強すると割と面白かったです。ゆっくり解いてたら6問くらい解く時間なかったのですが…

あと漢検2級をいつか取ろうとしてます。漢字が割と好きです。

ここまで勉学に関しては1人で黙々とできるのでリモートワークとは非常に相性がいいのですが, 問題なのは人との出逢いです。そこで研究室の先輩から紹介してもらったthreeというこれは同世代3人でリモートランチするアプリを使ってみることにしました。

このサービスは1回だけしか利用していないのですが, ここで出会った2人に多大なる影響を受けました。

お金と人生に対する理解

まず, 出会った1人の方に読書会というものに招待していただきました。たぶんコロナが流行っていなかったら読書会って胡散臭そうとか思って敬遠したのですが, 興味本位で参加させてもらったところ案外ハマってしまいました。

その中でたくさんの面白い本を紹介していただいて, 今年度は技術書も合わせて50冊くらい本を読みました。こちらも読書メーターにまとめていますのでよかったら見てください。

読書会のほかにも, お金や経済に関する勉強会なんかにも参加させてもらいました。FPを勉強していた時期と重なっていたこともあってとても刺激を受けて, 将来生活費を賄えるだけの収入を得つつ自分がやりたいかつ自分がやるべきことをやりたいと思える様になりました。

キャッシュフローゲームという不労所得を作り上げるゲームをプレイする勉強会もとても面白くて, 安く手に入ったらまた知り合いとやりたいなーと思っています。

ADDress生活のスタート

ここから話は分岐してこれもまた巡り合わせなのですが, threeで出会ったもう1人に紹介していただいてADDressというサービスに出逢いました。

どんなサービスかはサイトをみてもらえばわかると思いますが, 要するに定額全国住み放題のサービスです。住む場所というのはその人にかなり大きな影響を与えると思っていて, いろんな場所に住む経験をしてみたいというのが大きな動機です。

今日始めたばかりで仕事が成り立つかどうかわからないのでいざという時に東京に戻れる様に, 第1週は北鎌倉, 第2週は習志野に住んでみてみよと思います。

以下, 今日から住む北鎌倉の拠点の様子です。

部屋の様子。koalaマットレス。

共用スペース。ここで仕事します。

第3週は卒業生に会えるかなという狙いもあって京都に行こうと思っています。Social Distanceを保ちつつ是非お会いしましょう。

最後に

こんなに書いたのですが, threeで出会ったもう1人の方から受けたもう1つの大きな変化もありまして, またの機会に書かせていただこうと思います。最後まで読んでくださってありがとうございました!

マイクロサービスアーキテクチャ

Thu, 10 Dec 2020 23:48:37 +0900

O`REILLY発行のマイクロサービスアーキテクチャを読んだのでその内容を軽くまとめる。

以下の記事を参考にした。

書籍「マイクロサービスアーキテクチャ」まとめ（前編）

書籍「マイクロサービスアーキテクチャ」まとめ（後編）

要点

1章マイクロサービス

マイクロサービスとは

マイクロサービスとは, 協調して動作する小規模で自律的なサービス。DDD(ドメイン駆動設計), CI・CD(継続的インテグレーション・デリバリ), インフラ仮想化, 自動化, アジャイル開発といったさまざまな分野から生まれたものでありこれらを総合的に実践する必要がある。

以下がマイクロサービスの利点である。

技術異質性…サービスごとに異なる技術を使うことができる
回復性(レジリエンス)…障害のあるコンポーネントを切り離せる
スケーリング…必要なサービスのみスケーリング
デプロイの容易性…必要なサービスのみデプロイ
組織面の一致…アーキテクチャと組織を一致させる
合成可能性…再利用することができる
交換可能にするための最適化…2週間程度で作り直せる

マイクロサービス以外の分解テクニック

共有ライブラリ
モジュール

2章進化的アーキテクト

マイクロサービスのアーキテクトは建築士(アーキテクト)というより都市計画家(アーバンプランナー)であり, あらゆる不測の事態に備えて計画するのではなく, 可能性が低いことを必要以上に指定したい衝動を避けて, 変化を許容するように計画する。

以下が進化的アーキテクトの主な責務とされている。

ビジョン…システムが顧客や組織の要件を満たすのを助けるシステムの技術ビジョンを, 明確に伝えるようにする
共感…顧客や同僚に対する自分の判断の影響を理解する
協調…できるだけ多くの仲間や同僚と関わり, ビジョンの定義, 改良, 実行に役立てる
適応性…顧客や組織の要求により技術ビジョンを変更する
自律性…チームに対して標準化と自律性の実現との間の適切なバランスを見出す
ガバナンス…実装しているシステムを技術ビジョンに合わせる

3章サービスのモデル化方法

以下が優れたマイクロサービスを設計するのに必要な性質

疎結合性…連携するサービスに関して必要最低限のことだけしか把握しないようにする
高凝縮性…関連する振る舞いを1箇所にまとめておく

4章統合

データベースの共有によるサービスの連携は, かんたんではあるが疎結合性と高凝縮性の両方を失うことになり, マイクロサービスを採用する意味がなくなる。

コレオグラフィ

サービス間の通信プロトコルとしては, リクエスト/レスポンスとイベントベースがある。前者では, HTTP + RESTをデフォルトの選択肢とする。後者では, あるサービスがイベントを発行して他のサービスが受信するための基板が必要になる。

複数のサービスによって一つの処理が構成される場合の制御方法としては, オーケストレーションとコレオグラフィがある。前者は基点となるサービスが他のサービスをリクエスト/レスポンスで呼び出し, 処理全体のフローを制御する。コレオグラフィでは, 基点となるサービスがイベントベースでイベントを発行して, 他のサービスがそれを受信して個々に処理を行う。

マイクロサービスの原則を満たすためには, コレオグラフィによる連携を模索すべき。

そのためには, 一連のイベントの最初にユニークな相関IDを発番して, イベントに乗せて伝搬させなければならない。

認証・認可のしくみとフロー(FIDO, OAuth, SAML)

Tue, 24 Nov 2020 14:51:59 +0900

業務にてOpen ID Connect(OIDC)を使った認証の仕組みを作ったが, いまだにOIDCがどういったものであるかを理解しないままだった。

そんな中, Software Design 2020年11月号にて認証・認可が取り上げられていたので, その中でOIDCについて詳しく書かれていた第2章ついてまとめる。

第2章認証・認可のしくみとフロー ~ FIDOからOAuth, SAMLまで一挙に解説 ~

ソーシャルログイン

外部のソーシャルネットワークサービス(Facebook, Twitterなど)を使って認証を行い, その結果をもって対象のWebサービスの認可を行う仕組み。対象のWebサービス側のID管理データベースへの新規登録を大幅に簡素化することができる。

Fast IDentity Online (FIDO)

生体認証を中心とする新しいオンライン認証技術。その名のとおり, 高速なオンライン認証を実現する。WebサービスではなくFIDO認証サーバで認証処理を行う。

Open Authorization (OAuth)

アプリ(Oauthクライアント)がユーザーの代わりにAPI(リソース)にアクセスすることを許す(権限移譲する)認可フレームワーク。これによって, Facebookにログイン(認証)したあとは, Instagramも利用(APIアクセスを認可)できるようになり, パスワードをサービスごとに設定・送信する手間から開放される。

OAuth 2.0

以下の点がOAuth 1.0と異なる。

Webサービスだけでなくスマホアプリも対象
アクセストークンを受け渡す仕組みを改善
HTTPSが必須

以下の4種類の認可フローが用意されている。比較的よく使われるのがAuthorization Code Grant。

以下がOAuth 2.0の仕組みである。スマホアプリは, 認可サーバの「認可エンドポイント」から認可コードを発行してもらう。次に, スマホアプリはアクセストークンを発行してもらうために, HTTPリクエストのペイロード部分に「grant_type=authorization_code&code=<認可コード>」という形で認可コードを入れ, 認可サーバの「トークンエンドポイント」に提出する。こうして取得したアクセストークンをHTTPリクエストのヘッダ部分などに「Authorization: Bearer <アクセストークン>」のように入れ, APIに提出する。

あくまで認可のしくみであり, 認証のしくみについては定義されていない。

リフレッシュトークン

アクセストークンを更新するためのトークン。

Webサービスは認証・認可のあと, HTTP Cookieによってユーザーを特定しているが, APIはトークンによって実行権限の有無を判定する。このトークンに, アクセストークンとリフレッシュトークンが含まれている。

OpenID Connect (OIDC)

認証結果を含むアイデンティティ情報も受け渡しできるようにOAuth 2.0を拡張したプロトコル。認証結果を含むアイデンティティ情報を「IDトークン」に入れて受け渡す。

アイデンティティ情報とはユーザーの属性情報や認証した日時などの情報であり, これをAPI側が確認できるようになる。

AWS認定ソリューションアーキテクト[アソシエイト]

Sun, 15 Nov 2020 09:06:25 +0900

会社での社内ツールを開発する際にAWSを参考にすることが多いので, AWS認定ソリューションアーキテクト[アソシエイト] という本を使って一通り勉強してみた。

内容

VPC (Virtual Private Cloud)

利用者ごとのプライベートなネットワークを作成できる。セキュリティグループやネットワークACL(Access Control List)を使って通信制御を行う。

CloundFront

HTMLファイルやCSS, 画像, 動画といった静的コンテンツをキャッシュし, オリジンサーバーの代わりに配信するCDN(Contents Delivery Network)サービス。ELBやEC2だけでなくS3をオリジンサーバにすることもできる。

Route53

ドメイン管理機能と権威DNS機能を持つサービス。以下のような自由なトラフィックルーティングが可能

シンプルルーティング
フェイルオーバールーティング
位置情報ルーティング
地理的近接性ルーティング
レイテンシールーティング
複数値回答ルーティング
加重ルーティング

EC2 (Elastic Compute Cloud)

仮想サーバーを必要な数だけすぐに立てることができるIaaS型サービス。AMI(Amazon Machine Image)を選んでインスタンスを生成する。スポットインスタンスというAWSが余らせているEC2リソースを入札形式で安く利用する方式なんかもある。

ELB (Elastic Load Balancing)

ロードバランサーを提供するサービス。Auto Scalingという, システムの利用状況に応じて自動的にELBに紐づくインスタンスの台数を増減させる機能がある。

ECS (Elastic Container Service)

Dockerコンテナの実行環境を提供するサービス。

AWS Fargate

ECSのCluster用のEC2インスタンスを使わずにコンテナを動かすことのできるサービス。

EKS (Elastic Container Service for Kubernetes)

Kubernetesを利用する際のmasterを提供するサービス。

ECR (Elastic Container Registry)

コンテナイメージを管理するレジストリを提供するサービス。

Lambda

サーバーを用意しなくてもプログラムを実行できる環境を提供するサービス。

CloudWatch

定期的にAWSリソースの状態を取得し, 問題がある場合はそれを運用者に通知するサービス。CPU使用率などの基本的なログをモニタリングするだけでなく, CloudWatch Logsを使ってアプリケーションログをモニタリングしたり, CloudWatch Eventsを使って独自のトリガーと何かしらの後続のアクションとの組み合わせを定義したりできる。

競プロ勉強会第2回

Fri, 29 May 2020 05:42:54 +0900

今回から新たに電電時代の学友Rくんも参加してくれました! 何回も一緒に定期テスト解いてるので知っていたのですが, さすがの賢さでした…

CODE FESTIVAL 2015 予選A D 壊れた電車

今までと同じようにチェック関数を用意してから二分探索を行う問題。p = max(minute - dist *2, (minute - dist)/2) + x[i] + 1;のところで詰まってました…

int n, m;
int x[100010];
bool isCheck(LL minute) {
    LL p = 0;
    REP(i, m) {
        int dist = x[i] - p;
        if (dist > minute) {
            return false;
        } else if (dist> 0) {
            p = max(minute - dist *2, (minute - dist)/2) + x[i] + 1;
        } else {
            p = max(p, x[i] + minute + 1);
        }
    }
    return p >= n;
}
int main(int argc, char *argv[]) {
    cin >> n >> m;
    REP(i, m) {
        cin >> x[i];
        x[i]--;
    }
    LL left = 0;
    LL right = n * 2;
    LL mid;
    while (right - left > 1) {
        mid = (right + left) / 2;
        if (isCheck(mid)) {
            right = mid;
        } else {
            left = mid;
        }
    }
    if (isCheck(left)) {
        cout << left << endl;
    } else {
        cout << right << endl;
    }
    return 0;
}
```cpp

### [ARC 060 C 高橋君とカード](https://atcoder.jp/contests/arc060/tasks/arc060_a)

全探索すればいけた問題。いろいろ小難しいことを考えがちだが, まず全探索や貪欲法を考えてそっからチューニングしていくべきだと思った。けど、これ一瞬で書いてるFさんには一生届かない気もしてます。

```cpp
int n, a;
int x[51];
int main(int argc, const char *argv[])
{
    cin >> n >> a;
    REP(i, n) {
        cin >> x[i];
        x[i] -= a;
    }
    map<LL, LL> m;
    m[0] = 1;
    REP(i, n) {
        map<LL, LL> mTmp = m;
        REPI(it, mTmp) {
            m[it->first + x[i]] += it->second;
        }
    }
    cout << m[0] - 1 << endl;
    return 0;
}
```cpp

競プロ勉強会第1回

Wed, 27 May 2020 09:24:33 +0900

先週やった第1回のことをメモっときます。

JOI 2007 本選 C ダーツ

ダーツやのに4回投げる問題。ここで2回なげる結果を全て記録して, その要素の組み合わせを二分探索で考えて3回っぽくする感動的な解法。

upper_boundとlower_boundの違いを履き違えていたが, upper_boundは探索したいkeyより大きいイテレータを返し, lower_boundは探索したいkey以上のイテレータを返す。


int n, m;
int p[100000002];
int main() {
    cin >> n >> m;
    for (int i = 1; i <= n; i++) {
        cin >> p[i];
    }
    vector<int> v;
    for (int i = 0; i <= n; i++) {
        for (int j = 0; j <= n; j++) {
            v.push_back(p[i] + p[j]);
        }
    }
    int ans = 0;
    sort(v.begin(), v.end());
    int vMax = *(v.end() - 1);
    for (int i = 0; i < v.size(); i++) {
        int nokori = min(m - v[i], vMax);
        if(nokori < 0) break;
        auto it = upper_bound(v.begin(), v.end(), nokori);
        int sum = *(it - 1) + v[i];
        ans = max(ans, sum);
    }
    cout << ans << endl;
    return 0;
}
```cpp

### [ABC 023 D 射撃王](https://atcoder.jp/contests/abc023/tasks/abc023_d)

いける高度を二分探索する。mid, left, rightを使って二分探索を書く方法でバグらせまくったので, `while(right - left) { mid = (right + left) / 2; ...`をテンプレとして使っていきたい。

```cpp

LL n;
LL h[100001], s[100001];
bool isok(LL x) {
    VI count(n);
    REP(i, n) {
        if (h[i] > x) {
            return false;
        } else {
            count[min(n - 1, (x - h[i]) / s[i])]++;
        }
    }
    REP(j, n - 1) { count[j + 1] += count[j]; }
    REP(j, n) {
        if (count[j] > j + 1) return false;
    }
    return true;
}
int main() {
    cin >> n;
    for (int i = 0; i < n; i++) {
        cin >> h[i] >> s[i];
    }
    LL inf = 1e18;
    LL right = inf;
    LL left = 0;
    LL middle;
    while (right - left > 1) {
        middle = (right + left) / 2;
        if (isok(middle)) {
            right = middle;
        } else {
            left = middle;
        }
    }
    if (isok(right)) {
        cout << right << endl;
    } else {
        cout << left << endl;
    }
    return 0;
}
```cpp

SECCON beginners CTF 2020

Mon, 25 May 2020 13:31:28 +0900

研究室の人たちを誘って出場したんですが, 自分は一問も解けずにチームの人らがめっちゃ解いてくれました…

自分が解けなかった問題を先輩の解説やふるつきさんとやっていく気持ちさんのwriteupをみて, 復習します。

[Web] Spy

# auth.calc_password_hash(salt, password) adds salt and performs stretching so many times.
# You know, it's really secure... isn't it? :-)
hashed_password = auth.calc_password_hash(app.SALT, password)
if hashed_password != account.password:
    return render_template("index.html", message="Login failed, try again.", sec="{:.7f}".format(time.perf_counter()-t))

この最後の"{:.7f}".format(time.perf_counter()-t)がみそ。ハッシュ化は時間のかかる処理なので, 実行時間の違いによってDBにレコードが存在するかがわかる。

[Web] Tweetstore

limit, ok := r.URL.Query()["limit"]
    if ok && (limit[0] != "") {
        sql += " limit " + strings.Split(limit[0], ";")[0]
    }

SQLインジェクションってことはわかっただけで時間が解けた問題。最初UNION ALL句でpg_userを覗けば終わりだと思ったのだが, limit句の後ろでUNION ALL句をつけるにはselect文全体に()が必要らしい…

答えはlimit句内でサブクエリを使う方法。limitのクエリパラメータを(select ascii(substr(usename,1,1)) from pg_user limit 1 offset 1)みたいにすれば表示された件数がusenameの1文字目のasciiコードになる。めちゃCTFっぽい。

蟻本 | 2-2 猪突猛進! "貪欲法"

Fri, 22 May 2020 17:41:28 +0900

硬貨の問題

const int v[6] = {1, 5, 10, 50, 100, 500};
int c[6];
int A;
void solve() {
    int ans = 0;
    for (int i = 5; i >= 0; --i) {
        int t = min(A / v[i], c[i]);
        A -= t * v[i];
        ans += t;
    }
    printf("%d\n", ans);
}
```cpp

### 区間スケジューリング問題

```cpp
const int MAX_N = 100000;
int N, s[MAX_N], t[MAX_N];
pair<int, int> itv[MAX_N];
void solve() {
    for (int i = 0; i < N; ++i) {
        itv[i].first = t[i];
        itv[i].second = s[i];
    }
    sort(itv, itv + N);
    int ans = 0;
    int t = 0;
    for (int i = 0; i < N; ++i) {
        if (t < itv[i].second) {
            t = itv[i].first;
            ans++;
        }
    }
    printf("%d\n", ans);
}
```cpp

### Best Cow Line

```cpp
int N;
char s[100000];
void solve() {
    cin >> N;
    for (int i = 0; i < N; ++i) {
        cin >> s[i];
    }
    int a = 0, b = N - 1;
    while (a <= b) {
        //左からと右からを比較
        bool left = false;
        for (int i = 0; a + i <= b; ++i) {
            if (s[a + i] < s[b - i]) {
                left = true;
                break;
            } else if (s[a + i] > s[b - i]) {
                left = false;
                break;
            }
        }
        if (left) {
            putchar(s[a++]);
        } else {
            putchar(s[b--]);
        }
    }
    putchar('\n');
}
```cpp

### Saruman's Army

```cpp
int n, r;
int x[1010];
void solve() {
    cin >> n >> r;
    for (int i = 0; i < n; ++i) {
        cin >> x[i];
    }
    sort(x, x + n);
    int i = 0, ans = 0;
    while (i < n) {
        int s = x[i++];
        while (i < n && x[i] <= s + r) {
            i++;
        }
        int p = x[i - 1];
        while (i < n && x[i] <= p + r) {
            i++;
        }
        ans++;
    }
    printf("%d\n", ans);
}
```cpp

### Fence Repair

```cpp
int n, l[50010];
void solve() {
    cin >> n;
    for (int i = 0; i < n; ++i) {
        cin >> l[i];
    }
    LL ans = 0;
    while (n > 1) {
        int mii1 = 0, mii2 = 1;
        if (l[mii1] > l[mii2]) {
            swap(mii1, mii2);
        }
        for (int i = 2; i < n; ++i) {
            if (l[i] < l[mii1]) {
                mii2 = mii1;
                mii1 = i;
            } else if (l[i] < l[mii2]) {
                mii2 = i;
            }
        }
        int t = l[mii1] + l[mii2];
        ans += t;
        if (mii1 == n - 1) {
            swap(mii1, mii2);
        }
        l[mii1] = t;
        l[mii2] = l[n - 1];
        n--;
    }
    printf("%lld\n", ans);
}
```cpp

蟻本 | 2-1 すべての基本 "全探索"

Fri, 22 May 2020 17:31:10 +0900

最近蟻本の初級編をやり直したのだが2-1と2-2の記事がなかったので一応貼り付けとく

部分和問題

bool dfs(int i, int sum) {
    if (i == n) {
        return sum == k;
    }
    if (dfs(i + 1, sum)) {
        return true;
    }
    if (dfs(i + 1, sum + a[i])) {
        return true;
    }
    return false;
}
void solve() {
    if (dfs(0, 0)) {
        cout << "Yes" << endl;
    } else {
        cout << "No" << endl;
    }
}
```cpp

### Lake Counting

```cpp
int n, m;
char field[110][110];
void dfs(int x, int y) {
    //置き換える
    field[x][y] = '.';
    for (int dx = -1; dx <= 1; ++dx) {
        for (int dy = -1; dy <= 1; ++dy) {
            int nx = x + dx;
            int ny = y + dy;
            if (0 <= nx && nx < n && 0 <= ny && ny < m &&
                field[nx][ny] == 'W') {
                dfs(nx, ny);
            }
        }
    }
}
void solve() {
    int res = 0;
    for (int i = 0; i < n; ++i) {
        for (int j = 0; j < m; ++j) {
            if (field[i][j] == 'W') {
                dfs(i, j);
                res++;
            }
        }
    }
    printf("%d\n", res);
}
```cpp

### 迷路の最短路

```cpp
char maze[MAX_N][MAX_N + 1];
int n, m;
int sx, sy;
int gx, gy;
int d[MAX_N][MAX_N];
//移動４方向ベクトル
int dx[4] = {1, 0, -1, 0};
int dy[4] = {0, 1, 0, -1};
// (sx, sy)から(gx, gy)への最短距離を求める
// たどり着けないとINF
int bfs() {
    queue<P> que;
    //全ての点をINFで初期化
    for (int i = 0; i < n; ++i) {
        for (int j = 0; j < m; ++j) {
            d[i][j] = INF;
        }
    }
    //スタート地点をqueに入れて距離を0にする
    que.push(P(sx, sy));
    d[sx][sy] = 0;
    //キューが空になるまでループ
    while (que.size()) {
        //キューの先頭を取り出す
        P p = que.front();
        que.pop();
        //ゴールなら終了
        if (p.first == gx && p.second == gy) {
            break;
        }
        //移動4方向ループ
        for (int i = 0; i < 4; ++i) {
            //移動した後の点を(nx, ny)とする
            int nx = p.first + dx[i];
            int ny = p.second + dy[i];
            //移動が可能か
            //すでに訪れていないか
            if (0 <= nx && nx < n && 0 <= ny && ny < m && maze[nx][ny] != '#' &&
                d[nx][ny] == INF) {
                //移動できるならばキューに入れて、距離を代入
                que.push(P(nx, ny));
                d[nx][ny] = d[p.first][p.second] + 1;
            }
        }
    }
    return d[gx][gy];
}
void solve() {
    int res = bfs();
    printf("%d\n", res);
}
```cpp

競プロ勉強会第0回

Sat, 16 May 2020 02:26:38 +0900

最近atcoderをやっていることをツイートしたら, めちゃめちゃ頭のいいFさんにお声がけいただいて,つよつよエンジニア学生Aくんも誘って, 競プロの勉強会をすることにしました。

僕はそんなに頭がよくなく理解が遅いかつ実装が遅いのでなかなか恐れ多い勉強会ですが, 頑張って食らいついていこうと思っております。

僕はC++を使っていて, FさんとAくんはPythonを使ってます。 Fさんは来週からC++使うそうです。あっという間に抜かされそうです。

今週はatcoder150を解きました。

D - Semi Common Multiple

長さ N の偶数からなる正の整数列 A = a_1, a_2, …, a_N と、整数 M が与えられます。任意の k ( 1 ≤ k ≤ N) に対して以下の条件を満たす正の整数 X を A の「半公倍数」と定義します。 X = a_k * (p + 0.5) を満たす負でない整数 p が存在する。 1 以上 M 以下の整数のうちの A の半公倍数の個数を求めてください。

半公倍数の理解に時間がかかった。Aの要素が2で割れる回数が全て等しくなければならないというところがミソ。

E - Change a Little Bit

0, 1からなる長さ N の異なる 2 つの数列 S , T に対し、関数 f (S , T) を以下のように定めます。 S に対し以下の操作を繰り返して T と等しくすることを考える。このとき行う操作のコストの和として考えられる最小の値が f(S , T) である。 S_i を ( 0 から 1 、もしくは 1 から 0 に) 変更する。この操作のコストは、変更の直前に S_j ≠ T_j ( 1 ≤j ≤N) であったような整数 j の個数を D として、 D * C_i である。 0 , 1 からなる長さ N の異なる 2 つの数列の組 (S , T) は 2^N × ( 2^N − 1) 通り考えられます。これらすべてに対する f( S , T) の和を 10^9 + 7 で割った余りを計算してください。

作って理解するOS

Fri, 15 May 2020 13:00:43 +0900

小学生の時にWindowsXPを触った時は, PCというものの中身をいつか全部理解したいなとか思ってました。天才少年です。

そんな夢をかなえるためにOSを作っちゃおうと思い, 作って理解するOS - x86系コンピュータを動かす理論と実装という本に取り組むことにしました。その第3部から実装が始まるのですが, ハマりポイントがたくさんあると思うのでメモしていこうと思います。

docker, vagrantでは動かなかった

詳しいエラーを忘れてしましましたが, display Xに関する部分でエラーが起きてしまいます。

本ではWindows上で実装しているのですが, Macに問題が起きると嫌なので最初仮想環境でやろうと頑張ってましたが, GUIを起動する感じなのでだめでした。解決策になってないのですが諦めてParallels上でWindows10を動かす力技に取り組むことにしました。

文字コードがShift-JIS

これはビビった。UTF-8じゃないんや。

iodebugをUnloadする

本の通り進めてもハマるところがここ。Plugin Control > Edit > iodebug > Unloadすればいけた。

Vue.js チートシート

Sun, 10 May 2020 07:24:04 +0900

vuejsの気になったところ

watcherの注意点

wacherの中ではthisを使えない。なるべくcomputedを使う。

watch: {
    counter() {
        const vm = this;
        setTimeout(() => {
            vm.counter = 0;
        }, 3000);
    },
},

v-onディレクティブでの注意点

<!-- method event handler。vue側がいい感じに解釈 -->
<button @click="countUp">+1</button>
<!-- javascript式 -->
<button @click="countUp()">+1</button>

v-showの特徴

display: noneのcssがかかる
全てdomに追加されるため初期描画が遅い
要素を削除せずにcssをかけるだけなので描画の切り替えが早い
elseがない

v-forの特徴

要素の変更が最小限になるようになるべく再利用する
予期しないバグを生む可能性があるので, key属性をつける

仮想ノード

createElemetで作られているのは仮想DOMを作るための仮想ノードである。いわゆるDocument Object Modelではなくjavascriptのオブジェクトである。

new Vue({
        data: {
          name: "tak",
        },
        render(createElement) {
          return createElement("h1", "hello, " + this.name)
        }
      }).$mount("#app3");

仮想DOM

DOMの変更を高速に反映するための仕組み。DOMを直接変更するには時間がかかるので, 仮想DOMを変更し前の仮想DOMとの差分を反映して高速に描画する。

Babel

JavaScriptのコードを新しい書き方から古い書き方へと変換するツール

Webpack

webpackは、モジュールを束ねるツールです。モジュールとは、プログラム内のJavaScriptファイル（以下：jsファイル）やsassファイルなどのことです。webpackを使うことで、複数のjsファイルをひとつのjsファイルにまとめたり、複数のsassファイルをひとつのsassファイルにしたりできます。

Dockerチートシート

Wed, 29 Apr 2020 06:00:40 +0900

Dockerの忘れそうなところをメモ。

Dockerコンテナの実行

docker run

pull, create, startを一気にやっちゃう

-v /User/takaaki/html:/usr/share/nginx/html:ro

バイトマウントする。roとかだとread onlyオプションをつけることができる。

-rm

コンテナを停止したときに削除する。

-d

バックグランド実行

-e AUTHOR="Takaaki"

環境変数を設定できる。

--link static-site:ss

リンク先に通信できるようになる。リンク先の環境変数を追加できる。

docker build

イメージを作成。引数にビルドコンテキストを指定。

ビルドコンテキスト…イメージが参照する範囲を指定する。ここで指定した範囲がDocker Hubにpushされるため小さい方がいい。Dockerfileがあるディレクトリの場所でもある。

docker create

イメージからコンテナを作成。

-i

コンテナの標準入力を取得して双方向に接続.

-t

コンテナ内にtty(eletypewriter)を割り当てる。

docker cp

文字通りコピー。ホストからコンテナ、コンテナからホストどちらにもできる。

docker add

これは文字通りではない。tarを自動で展開したりURLからダウンロードしたりする処理が走る。cpが推奨される。

docker pause, docker unpause

docker stop, docker start

docker inspect

docker rmi

イメージを削除。

docker rm

コンテナを削除。

docker attach

コンテナに接続される。exitで抜けるとstopされる。itで実行していたならばctrl + p, ctrl + qで抜けるとstopされない。

docker exec

コンテナ内でコマンドを実行。docker exec -it {image} /bin/bashとしてbashを実行するのによく使われ、exitで抜けてもstopされないため安全であり推奨される。

WordPressでPrism.jsを使ってシンタックスハイライトを行う方法

Sat, 18 Apr 2020 02:02:43 +0900

久しぶりにテーマを更新したらPrism.jsが消えちゃってたのでいれなおしました。参考にしたのは以下のサイトです。

WordPressでPrism.jsを使いコードのシンタックスハイライトを行う方法 https://stupiddog.jp/note/archives/718

Prism.jsのダウンロード

https://prismjs.com/download.htmlに行って自分の好みのjsとcssをダウンロードします。僕は以下のように設定しました。

themes=prism-tomorrow&languages=markup+css+clike+javascript+bash+c+cpp+cmake+css-extras+diff+django+git+go+haskell+http+java+javadoc+javadoclike+javastacktrace+jsdoc+js-templates+json+jsonp+json5+julia+kotlin+latex+makefile+markdown+markup-templating+nginx+perl+php+phpdoc+php-extras+python+r+jsx+tsx+ruby+rust+sqf+sql+swift+typescript+vim+yaml&plugins=line-highlight+line-numbers+show-invisibles+autolinker+wpd+custom-class+file-highlight+show-language+jsonp-highlight+highlight-keywords+remove-initial-line-feed+inline-color+previewers+autoloader+keep-markup+command-line+unescaped-markup+normalize-whitespace+data-uri-highlight+toolbar+copy-to-clipboard+download-button+match-braces+diff-highlight+filter-highlight-all+treeview

やり過ぎた感あります。

WordPress内に配置

最初適当に配置してヘッダーいじればいいやと思って、Cyberduck繋いでうろちょろしてたんですが, WordPressが提供している方法があるそうです。以下のディレクトリに配置しました

/public_html/wp-content/themes/baskerville/js/prism.js
/public_html/wp-content/themes/baskerville/prism.css

cssはディレクトリがなかったのでbaskerville直下に入れてみました。

ヘッダーで読み込む

public_html/wp-content/themes/baskerville/functions.phpのファイルに追記しました。


/* ---------------------------------------------------------------------------------------------
   For Prism (2020/4/18, Takaaki Sawa)
   --------------------------------------------------------------------------------------------- */
function my_enqueue_scripts() {
  $theme_uri = get_template_directory_uri();
  wp_enqueue_script( 'prism-js', $theme_uri . '/js/prism.js', array('jquery'), false, true );
  wp_enqueue_style( 'prism-css', $theme_uri . '/prism.css');
}
add_action( 'wp_enqueue_scripts', 'my_enqueue_scripts' );

最後に

ってな感じです。ブログ書くのってめんどくさいですね。

研究室セミナー | 汎用的なシミュレータ

Sun, 19 Jan 2020 05:27:02 +0900

汎用的なシミュレーターの設計 from Takaaki Sawa

HackBowlにて学んだこと。【TechTrain賞を受賞しました】

Sun, 27 Oct 2019 18:09:11 +0900

先日, TechBowlが主催するハッカソンに友人I氏を誘って参加させていただきました。それにまつわる話をつらつらと書こうと思います。

詳しい話は相方I氏のブログを読んでいただけたらと思います。僕のブログでは客観視などせずに僕の主観をつらつら述べさせていただきます。

開発意欲を掻き立てるために参加を決意

皆さんは, アプリを開発するときにどういったモチベーションで開発するのでしょうか。やはり, 生粋のエンジニアの方はコーディングを始めるとやめられなくなったりするのでしょうか。

僕は, いろんな言語やフレームワークをつまみ食いするにわかエンジニアですので, コーディングのみをルンルンにやるテンションは保てず, **これを作らなければ!!**みたいなモチベーションがないとだんだんやる気がなくなってきます。この時期もなんとなく作りたいなーみたいな物はたくさんあるのですがいかんせん考えるサービスがいけてないので実装するまで踏み切れることがなかなかないです。

そんな中, TechBowlが主催するHackBowlというハッカソンが開催されることを知り, これは自分が望んでいた開発しなければならない状況になれるのではないかと思い, 交通費が支給されるというお知らせと同時に参加を決意しました。

頼れる相方I氏

誰と出ようかと一瞬迷ったのですが, Donutsで一緒にアルバイトしていたI氏以外にはいないと2秒後に決意しました。

彼は本当に尊敬できます。統計の勉強やudemyを使ったさまざまな技術の勉強, 大学院を移るための勉強, 誰に言われたでもないのに自分でやっています。あと, 実装が本当に早いです。バイトでの無茶苦茶な量のコーディングも1人でやってのけますし, HTML/CSSを使って一瞬でviewを仕上げてきます。彼といると自分もちゃんとしなきゃなと思わされます。。。

クリエイティビティが欲しい

HackBowlのテーマは

「2021年、エンジニアが増えた時、当たり前に使われるサービスを創造せよ」

でした。2人のスラックでいろんなアイディアを出したのですが, その中からI氏が思いついてくれた, 絶妙にニーズを突いたサービスを提案してくれました。HackBowlにて思いっきりサービス内容は発表したのですが, ここではサービス内容は伏せさせてもらおうと思います。こういうアイディアを出す能力が僕には足りてないんです…この力を伸ばすには,

日頃から自分・他人が欲しいと思った物はメモをする
世の中が動いている方向の逆を考える

みたいなことが大事なのかなと最近思っています。参加したチームの

フリーランスのエンジニアが案件の金額を見積もるためのサービス

なんかを発表してていい着眼点だなーと思いました。

慣れていない技術の障壁

技術選定に関してはI氏のブログ通りです。ぜんっぜん開発進みませんでした。

NoSQLにめちゃめちゃ苦労して, 最後tag機能なんかを作ったのですがリレーションを作れないので全記事オブジェクトにtag_androidをもたせるとかいうやばそうな実装をしていました。また, データを入れるのも消すのもFirebaseのUIからやるのは手間で, SQLのありがたさを痛感しました…

時系列に沿って書くと長くなるので学んだことに絞って書いていきます。

HackBowlならではの旨味として, プロエンジニアさんの考え方に触れられたことが大きかったです。

当日, あらゆるスキル方面を網羅したたくさんのプロエンジニアのメンターさんがいるので, GoもVueもFirebaseも初めてな僕たちはたくさん質問させていただくことができました。それを通して, ただ技術的な解決だけでなくこのツールを使った方がいい, このドキュメントを読んだ方がいい, この道のりで学んだ方がいいなど, 1の質問に対して3, 4倍の情報量を返していただきました。それだけじゃなく, プロとして言語やフレームワークに精通した上で開発している姿を見て, かっこいいなと憧れる気持ちにもなりました。

サービスを考え抜く

また, サービスに関して企業目線での意見をたくさんいただけたことも大変ありがたかったです。

僕たちは, 一般ユーザーと企業ユーザー2種類のプレイヤーがいるサービスだったので, どうしても企業ユーザー側のメリットを固めることができませんでした。しかし, 最終発表の後に5人のメンターの方から, 僕たちが気づいていないサービスのメリットをたくさん教えていただき, 普段大学生活に身を置いているだけでは想像もつかないような着想を得ることができました。しかも, その考えは自分たちの考えの2歩も3歩も先をいくものばかりで, whyを深堀していく大切さも痛感しました。企業の方のお話は学ぶことが多くて刺激的で本当に楽しかったです。

あと, ハッカソンという空間も楽しむことができました。ここ最近, なんとなく遊んだりなんとなく研究したりみたいな時間が多かったので, 2人で1つのことに没頭するという時間はあっという間に過ぎました。普段何事もこのくらい集中して取り組みたいところです。友永さん観てる場合ではないです本当に。

Privacy Policy of Memot

Tue, 24 Sep 2019 11:37:35 +0900

built the Memot app as a Free app. This SERVICE is provided by at no cost and is intended for use as is.

This page is used to inform visitors regarding my policies with the collection, use, and disclosure of Personal Information if anyone decided to use my Service.

If you choose to use my Service, then you agree to the collection and use of information in relation to this policy. The Personal Information that I collect is used for providing and improving the Service. I will not use or share your information with anyone except as described in this Privacy Policy.

TechTrainを使ってみた

Wed, 07 Aug 2019 03:21:28 +0900

今まで自分のためにつらつらブログを書いていたのですが, 初めてちょっと発信する感じで書いてみようと思います。といっても文才はないです。

最近, 僕はある会社の社員になりました。まさか来年就職するのに今年に2社目に入社すると思っていなかったです。というのも, その会社はいとこが1人で切り盛りしているデザインの会社で, そのいとこからwebプラットフォームを作るにはどうすればいいのか相談されました。そこで, 相談に乗っているうちに自分で作っちゃおっかなと思って, 給料をもらわずステータスだけもらって社員になりました。最近いとこと接点がなかったので, 思わぬ形で一緒に仕事ができていて楽しいです。

サービスの内容は明かせませんが, ココナラhttps://coconala.com/というフリマのサービスから改良に改良を重ねたサービスを作ることになりました。そこで迷うのが何で作ればいいのかという問題です。僕の経歴はあらゆるプログラミング言語に浮気し続けているので, 何が得意という訳でもありません。浮気はよくないといろんな人に言われるのですが, 心からお付き合いしたい人が見つかりません。

強いて言えばrubyのルールがカチッとした感じがタイプです。日本人が日本語喋れる感じで日本人エンジニアは日本人が生み出した言語を喋れなあかんかなという義務感もあります。ただ, rubyでAPI開発をしたことがあるのですがこれまた大変なんです。厳密なデータ設計をする必要がありますし, APIとは別にフロントも開発する必要があります。

そこで, React, Redux + Firebase というチャラい感じの設計の方が, 1人で開発する際には合っているのではないかと考えました。Firebaseがバックを担ってくれてブラウザ上からぽちぽちと設定するだけで認証の仕組みなんかが簡単に導入できます。Reactは単なる浮気の延長というのもあるのですが(触ったことないし), このサービスには通話機能が欲しいので, この本がjavascriptで書かれている点からReactありなんじゃないかという発想もありました。

この点を相談するためにTechTrainというサービスを使ってみました。このサービスはおざまささんという元京大出身の方が立ち上げた, 社会人ITエンジニアと無料でオンライン面談できるサービスです。約35社70名のエンジニアメンターをおざまささんがかき集めたそうです。いとこといいおざまささんといい, 自分がやりたいことのために会社を立ち上げていて本当に尊敬します。

僕はこのサービスを広めるために少しお手伝いさせていただいていて, この記事も少し宣伝口調になっていてすみません。。。といっても, 現役のエンジニアの方を独占しての無料でお話できるなど恐れ多い話で, メリットしかないサービスだと思います。

今回は, フリーランスでお仕事をされている八幡さんというインフラエンジニアの方と面談させていただきました。設計の相談もしたかったので, フロントの方やバックの方でもよかったのですが, 敢えていままでお話ししたことのないインフラの方とお話ししてみたいと思い選びました。

結果として, 非常に有意義なお話をさせていただきました。まずサービスの設計については通話サービスを作ること自体だいぶ手間がかかる(過去に少し作られていた)ので外部のAPIなどを利用したほうがいいという意見をいただいたり, Firebaseを使う点には賛成の意見をいただき方向性に自信がもてたりしました。そのほかにもOracleで働かれていた時の話や, フリーランスとしてのエンジニアの働き方の話なんかもできて, とても楽しかったです。

今現在自分は大学にいて, 情報学研究科にいるので直接相談できる人がたくさんいるので簡単な質問では使おうとはならないですが, 高校生だったり他学科の人だと利用したくなるサービスなのかなと思いました。また, キャリアなどの現役ITエンジニアならではの知見が欲しい点に関しては, プロエンジニアを目指す人は大いに活用できると思います。是非使ってみてください！

TechTrainの他にもHachBowlというハッカソンのイベントもやっているそうなので、興味のある方は是非！

汎用性のあるシミュレータ

Wed, 17 Jul 2019 05:04:15 +0900

最近, cloudnetという学会に論文を投稿したのだが, そこでデータを集める際に制作したシミュレータがいい感じにできたのでそれについて書いてみる。

https://github.com/adshidtadka/server-allocation

`Parameter`クラス

まず良かった点としてParameter クラスを作ったことである。


import numpy as np
import pandas as pd
import itertools
import sys
import Constant
class Parameter:
    USER_NUM_CONST = 500
    SERVER_NUM_CONST = 10
    CAPACITY_CONST = 50
    def __init__(self, seed):
        np.random.seed(seed)
        self.USER_NUM = 500
        self.SERVER_NUM = 10
        self.DELAY_MAX = 10
        self.DELAY_SERVER = 1
        self.CAPACITY = 50
    def create_input(self):
        # inputs
        self.e_u = list(itertools.product(range(self.USER_NUM), range(self.SERVER_NUM)))
        self.e_s = list(itertools.combinations(list(range(0, self.SERVER_NUM)), 2))
        self.d_us = np.random.randint(1, self.DELAY_MAX, (self.USER_NUM, self.SERVER_NUM))
        self.m_s = np.full(self.SERVER_NUM, self.CAPACITY)
    def set_param(self, var_name, consts, var):
        if var_name == 'user':
            self.USER_NUM = var
            self.SERVER_NUM = consts['server']
            self.CAPACITY = consts['capacity']
        elif var_name == 'server':
            self.USER_NUM = consts['user']
            self.SERVER_NUM = var
            self.CAPACITY = consts['capacity']
        elif var_name == 'capacity':
            self.USER_NUM = consts['user']
            self.SERVER_NUM = consts['server']
            self.CAPACITY = var
        else:
            sys.exit('invalid var_name = ' + str(var_name))
    def get_const(var_name):
        if var_name == 'user':
            return Parameter.USER_NUM_CONST
        elif var_name == 'server':
            return Parameter.SERVER_NUM_CONST
        elif var_name == 'capacity':
            return Parameter.CAPACITY_CONST
        else:
            sys.exit('invalid var_name = ' + str(var_name))

これを作ることで1つのインスタンスが1つのパラメータに対応することになるので, 全部グローバル変数で書いていた前回のシミュレータよりめちゃめちゃわかりやすくなった。また, インスタンスメソッドを呼び出してパラ調整がしやすく, メソッドとしてパッケージ化することでエラーを極力避けれるようになった。

`Ilp`クラスと`Mmd`クラス


class Ilp:
    def __init__(self, param):
        self.create_dataframe(param)
        self.set_input()
    def set_input(self):
        # optimization problem
        problem = LpProblem()
        # decision variables
        self.df_e_u['variable'] = [LpVariable('x_us%d' % i, cat=LpBinary) for i in self.df_e_u.index]
        self.df_e_s['variable'] = [LpVariable('x_st%d' % i, cat=LpBinary) for i in self.df_e_s.index]
        self.df_v_s['variable'] = [LpVariable('y%d' % i, cat=LpBinary) for i in self.df_v_s.index]
        self.D_u = LpVariable('D_u', cat=LpInteger)
        self.D_s = LpVariable('D_s', cat=LpInteger)
        # objective function
        problem += 2 * self.D_u + self.D_s
        self.problem = problem
    def create_dataframe(self, param):
        # dataframe for E_U
        df_e_u = pd.DataFrame([(i, j) for i, j in param.e_u], columns=['user', 'server'])
        df_e_u['delay'] = param.d_us.flatten()
        self.df_e_u = df_e_u
        # dataframe for E_S
        df_e_s = pd.DataFrame([(i, j) for i, j in param.e_s], columns=['server_1', 'server_2'])
        df_e_s['delay'] = param.DELAY_SERVER
        self.df_e_s = df_e_s
        # dataframe for V_S
        df_v_s = pd.DataFrame(list(range(0, param.SERVER_NUM)), columns=['server'])
        df_v_s['capacity'] = param.m_s
        self.df_v_s = df_v_s
    def solve_by_ilp(self, solver=None):
        t_0 = time.perf_counter()
        # solve
        try:
            # constraints
            self.problem = self.create_constraints(self.problem)
            if solver == 'cplex':
                self.problem.solve(GLPK_CMD(msg=0))
            else:
                self.problem.solve(CPLEX_CMD(msg=0))
        except PulpSolverError:
            print(CPLEX_CMD().path, 'is not installed')
        t_1 = time.perf_counter()
        return t_1 - t_0
    def print_result(self):
        if self.problem.status == 1:
            print('objective function is ', value(self.problem.objective))
            print('cpu time is ' + str(self.cpu_time) + ' sec')
        else:
            print('status code is ', self.problem.status)
    def create_constraints(self, m):
        # constraints
        # (1b)
        for k, v in self.df_e_u.groupby('user'):
            m += lpSum(v.variable) == 1
        # (1c)
        for k, v in self.df_e_u.groupby('server'):
            m += lpSum(v.variable) <= self.df_v_s['capacity'][k]
        # (1d)
        for k, v in self.df_e_u.iterrows():
            m += v.variable * v.delay <= self.D_u
        # (1e)
        for k, v in self.df_e_s.iterrows():
            m += v.variable * v.delay <= self.D_s
        # (1f)
        for k, v in self.df_e_u.groupby('user'):
            for l, w in self.df_v_s.iterrows():
                m += w.variable >= v.variable
        # (1g)
        for k, v in self.df_e_s.iterrows():
            m += self.df_v_s.iloc[v.server_1].variable + \
                self.df_v_s.iloc[v.server_2].variable - 1 <= v.variable
        # (1h)
        for k, v in self.df_e_s.iterrows():
            m += v.variable <= self.df_v_s.iloc[v.server_1].variable
        # (1i)
        for k, v in self.df_e_s.iterrows():
            m += v.variable <= self.df_v_s.iloc[v.server_2].variable
        return m
class Mmd:
    def __init__(self, param):
        self.set_input(param)
    def set_input(self, param):
        # edges list
        edges = np.empty(3, dtype=int)
        for k, v in enumerate(param.d_us):
            for i, j in enumerate(v):
                edges = np.vstack((edges, np.array([k, i, j])))
        self.edges = edges
    def start_algorithm(self, param):
        t_0 = time.perf_counter()
        L_1 = self.one_server_case(param)
        L_2 = self.multiple_server_case(param)
        D_u = min([L_1, L_2])
        if D_u > param.DELAY_MAX:
            self.status = False
        else:
            self.status = True
            self.objective_function = D_u * 2 + param.DELAY_SERVER
        t_1 = time.perf_counter()
        return t_1 - t_0
    def one_server_case(self, param):
        # step 1: consider one server case
        # allocate all user and get L_1
        dic_l = dict()
        for k, v in enumerate(param.m_s):
            if v >= param.USER_NUM:
                D_u = param.d_us[:, k].max()
                dic_l[k] = D_u
        # search minimum D_u
        if bool(dic_l):
            return min(dic_l.values())
        else:
            return Constant.INF
    def multiple_server_case(self, param):
        # step 2: consider multiple server case
        # initialize the bipartite graph
        added_server = param.SERVER_NUM
        for k, v in enumerate(param.m_s):
            for j in range(param.USER_NUM):
                delay = param.d_us[j][k]
                for i in range(added_server, added_server + v - 1):
                    self.edges = np.vstack((self.edges, np.array([j, i, delay])))
                added_server += v - 1
        param.COPY_SERVER_NUM = added_server
        # search matching
        for i in range(1, param.DELAY_MAX):
            hc = HopcroftKarp(param.USER_NUM, param.COPY_SERVER_NUM)
            for j in np.where(self.edges[:, -1] <= i)[0]:
                hc.add_edge(self.edges[j][0], self.edges[j][1])
            if hc.flow() == param.USER_NUM:
                return i
        return Constant.INF
    def print_result(self):
        if self.status:
            print('objective function is ', str(self.objective_function))
            print('cpu time is ' + str(self.cpu_time) + ' sec')
        else:
            print('Error')

inputを入れればoutputが出るツールとして2つのクラスを作った。これにさっき定義したParameterをそのままいれればいいので, ブラックボックスとして扱える。set_inputなんかのメソッドを共通化してもよかった。また Ilp ではPulpを使ってソルバを簡単に切り替えられるようにした。

texでeps画像を表示させたい

Wed, 19 Jun 2019 00:38:42 +0900

論文を投稿するときに, epsの表示周りでめちゃめちゃエラーがでていたときに, ドライバオプションの設定でうまくビルドできた. それを最近忘れていて時間食ったので, 備忘録として残しておく. 詳しくは

この方

がまとめてくれている.

epsを表示する

\usepackage[dvips]{graphicx}

と,

dvips

をドライバで指定する.

pdf, jpg, pngを表示する

\usepackage[dvipdfmx]{graphicx}

と,

dvipdfmx

をドライバで指定する.

感想

texの設定は理解しにくいので備忘録をこまめに書いていきたい.

正規表現チートシート

Wed, 05 Jun 2019 07:27:16 +0900

udemyの教材で正規表現の勉強をした。いままでなんとなく書いていたたが, これからはなんでもかける気がする…

基本的な記号

= 文字または数字を1文字分指定する
^(キャロット) = 直後の文字または数字を指定しない
-(ハイフン) = 文字数字の範囲を指定する
(バックスラッシュ) = 直後のメタ文字を単なる文字として扱う
. (ワイルドカード) = なんでもよし
|(パイプ) = 左右のどちらかにマッチするか判定する
()(丸かっこ) = 正規表現をグループ化する

数量詞

繰り返したいパターンの直後におく

+(プラス) = 1回以上の繰り返し
*(アスタリスク) = 0回以上の繰り返し
?(クエスチョンマーク) = 入力なしか1文字のみ
{n} = n回の繰り返し
{n, } = n回以上の繰り返し
{n, m} = n回以上, m回以下の繰り返し

一致方法

最長一致(デフォルト)
最短一致
- ?を数量詞の最後につける

区切り

^ = カバーする範囲の先頭を行頭に指定
$ = カバーする範囲の最後を行末に指定
\b = スペースや改行による単語の区切り前後につけて単語を見つける
\B = \b以外の区切り単語の中の文字列を見つける

1文字のメタ文字では機能が逆になる

ショートコード

[0-9] = \d
[^0-9] = \D
[a-zA-Z0-9_] = \w
[^a-zA-Z0-9_] = \W
\n = 改行
\t = タブ
\r = リターン
\f = 改ページ
[\n\t\r\f ] = \s
[^\n\t\r\f ] = \S

修飾子

g(global) = マッチする結果すべてを抽出
i(case-insensitive) = 大文字と小文字を区別しない
m(multiline) = ^と$の挙動を変え, 複数行を対象にする

日本語

ひらがな
- [ぁ-ん]
- [\u3041-\u3096]
- [\x{3041}-\x{3096}]
カタカナ
- [ァ-ヶ]
- [\u30A1-\u30FA]
- [\x{30A1}-\x{30FA}]
漢字
- [亜-煕]
- [々〇〻\u3400-\u9FFF\uF900-\uFAFF]|[\uD840-\uD87F][\uDC00-\uDFFF]
- [々〇〻\x{3400}-\x{9FFF}\x{F900}-\x{FAFF}]|[\x{D840}-\x{D87F}][\x{DC00}-\x{DFFF}]
半角文字以外
- [^\x01-\x7E]

応用

フリーダイヤル
- /0120-((\d{2}-\d{4})|(\d{3}-\d{3}))/
市街局番
- /\d{2, 4}-\d{2, 4}-\d{4}/
携帯番号
- /(090|080|070)-\d{4}-\d{4}/
URL
- /http[s]?://[\w/%&$#?()=~+-]+/
メールアドレス
- /[\w-]+@([/w-]+.)+[a-zA-Z]{2, }

感想

とりあえず正規表現が使えそうだったらこのページを参考に書いてみようと思う.

kaggle勉強会 | @KDL

Wed, 05 Jun 2019 02:18:18 +0900

先週, 神戸デジタルラボにお邪魔してkaggleの勉強会に参加してきました。研究室の先輩の稲垣さんに講義してもらった。そこでの講義資料がこちら。

u++さんという有名な人のQiitaに従って解説してもらった。kaggleは何回か参加したことがあるが, 改めて勉強になった。

第5回CTF勉強会 | ksnctf

Wed, 29 May 2019 03:44:58 +0900

seccon beginners ctf前の最後の勉強会. 今回はアルゴリズムに関する問題が多かった.

Math I

RSAの公開鍵暗号に関する問題. ちなみに、

RSA暗号とは、桁数が大きい合成数の素因数分解問題が困難であることを安全性の根拠とした公開鍵暗号の一つである。

c(暗号文)とm(平文)は以下のようにして求める.

c = m^e mod n
m = c^d mod n

よってdさえ求まれば復号できる. dを求める式は以下の通り.

d = e^(-1)(mod(p-1)(q-1))

dを求めるには,

n = pqを求める
p-1とq-1の最大公倍数lcm(p-1, q-1) = (p-1)(q-1)/gcd(p-1)(q-1)を求める
ed≡1(mod L)となるようなedの組みを求める

拡張ユークリッドの互除法が使われている.

このサイトを参考にして実装した.

import math
e = 65537
n = 1517330236262917595314610888889322115651087080826711948897066340883208205571592392362650858571076247939805436226544833224526137582834770402681005343930059463684528957271778199162575053306238099823295117697031968370690372250916935800738698142103275969223264184374648246277564306900886005299731265812255274723175925185522344831066577166867786835955092059346244885587228196357297758371381557924676260190209536670230008561217008649261974735505203813478978893582292682827884118215872470401293272325715864815977064075988643101088355047954735427424641386870772845440782632933485165110172437511822736907550777817722248753671107339823410418938404382732079381329288400012929311347390423061254658780185245562668131009832293474920208834795460061115101364091252176594144096675899952570380792978037217747311595899301451192342027799533264325948876556110474850761538179748318187805312451895898751337975457949549497666542175077894987697085521882531938339334715190663665300179658557458036053188152532948734992896239950564081581184284728802682982779186068791931259198917308153082917381616147108543673346682338045309449569430550618884202465809290850964525390539782080230737593560891353558335337408957948041667929154230334506735825418239563481028126435029
c = 225549592628492616152632265482125315868911125659971085929712296366214355608049224179339757637982541542745010822022226409126123627804953064072055667012172681551500780763483172914389813057444669314726404135978565446282309019729994976815925850916487257699707478206132474710963752590399332920672607440793116387051071191919835316845827838287954541558777355864714782464299278036910958484272003656702623646042688124964364376687297742060363382322519436200343894901785951095760714894439233966409337996138592489997024933882003852590408577812535049335652212448474376457015077047529818315877549614859586475504070051201054704954654093482056493092930700787890579346065916834434739980791402216175555075896066616519150164831990626727591876115821219941268309678240872298029611746575376322733311657394502859852213595389607239431585120943268774679785316133478171225719729917877009624611286702010936951705160870997184123775488592130586606070277173392647225589257616518666852404878425355285270687131724258281902727717116041282358028398978152480549468694659695121115046850718180640407034795656480263573773381753855724693739080045739160297875306923958599742379878734638341856117533253251168244471273520476474579680250862738227337561115160603373096699944163
p = 34111525225922333955113751419357677129436029651245533697825114748126342624744832960936498161825269430327019858323450578875242014583535842110912370431931233957939950911741013017595977471949767235426490850284286661592357779825212265055931705799916913817655743434497422993498931394618832741336247426815710164342599150990608143637331068220244525541794855651643135012846039439355101027994945120698530177329829213208761057392236875366458197098507252851244132455996468628957560178868724310000317011912994632328371761486669358065577269198065792981537378448324923622959249447066754504943097391628716371245206444816309511381323
q = 44481453884385518268018625442920628989497457642625668259648790876723318635861137128631112417617317160816537010595885992856520476731882382742220627466006460645416066646852266992087386855491152795237153901319521506429873434336969666536995399866125781057768075533560120399184566956433129854995464893265403724034960689938351450709950699740508459206785093693277541785285699733873530541918483842122691276322286810422297015782658645129421043160749040846216892671031156465364652681036828461619272427318758098538927727392459501761203842363017121432657534770898181975532066012149902177196510416802134121754859407938165610800223
# step1
L = (p-1)*(q-1)//math.gcd(p-1, q-1)
# step2
def ex_euclid(x, y):
    c0, c1 = x, y
    a0, a1 = 1, 0
    b0, b1 = 0, 1
    while c1 != 0:
        m = c0 % c1
        q = c0 // c1
        c0, c1 = c1, m
        a0, a1 = a1, (a0 - q * a1)
        b0, b1 = b1, (b0 - q * b1)
    return a0
d = ex_euclid(e, L)
# step3
m = pow(c,d,n)
print ("%0512x"%m).decode("hex")

Math II

モジュロ演算という割り算の余りを求める計算と関わっている. xの101乗根を普通に求めようとしてもオーバーフローが起きてしまうので, 二分探索を実装する. このサイトを参考にした.

蟻本 | 2-7 GCJの問題に挑戦してみよう(1)

Tue, 21 May 2019 14:05:06 +0900

今まで学んだことを生かして4問解いてみた. 答えと全然違う実装をしたくないので, 問題を読んで実装の流れを考えたら答えをみるという流れでやってみた.

Minimum Scalar Product (2008 Round1A A)

2つのベクトル成分を自由に入れ替えて内積を最小にする問題. 最初は数の正負を考えて, 正の数で絶対値が大きいものには負の数で絶対値が大きいものと積を取るようにみたいなことを考えていたが, シンプルに2つの成分を順と逆順でソートすればよかった.

const int MAX_N = 800;
typedef long long ll;
int n;
int v1[MAX_N], v2[MAX_N];
void solve() {
    sort(v1, v1 + n);
    sort(v2, v2 + n);
    ll ans = 0;
    for (int i = 0; i < n; i++) {
        ans += (ll)v1[i] * (ll)v2[n - i - 1];
    }
    printf("%lld\n", ans);
}
```cpp

### Crazy Rows (2009 Round2 A)

行をバブルソートする問題. 行列が与えられて下三角行列がどうとか難しい話をしているが案外簡単で, 上から順に行を埋めていくことを考える. 動かす行は上の行にすることで, 動かす操作数を最小化する.

実装のポイントとしては`a[i]: i行目の最後に現れる1の位置-1 ~ N-1`を定義することで行列より扱いやすくしている. また, 配列の要素を入れ替える`swap`をうまく使って再帰的な処理を実現している.

```cpp
void solve() {
    int res = 0;
    // 配列にする
    for (int i = 0; i < N; i++) {
        a[i] = -1;
        for (int j = 0; j < N; j++) {
            if (M[i][j] == 1) {
                a[i] = j;
            }
        }
    }
    for (int i = 0; i < N; i++) {
        int pos = -1;  // i + 1行目に移動する行番号
        for (int j = i; j < N; j++) {
            if (a[j] <= i) {
                pos = j;
                break;
            }
        }
        // 実際にスワップ
        for (int j = pos; j > i; j--) {
            swap(a[j], a[j - 1]);
            res++;
        }
    }
    printf("%d\n", res);
}
```cpp

### Bribe the Prisoners (2009 Round 1C C)

囚人の問題. 普通に問題として面白かった. アルゴリズムのポイントとしては, 空き部屋の概念と端の概念を一緒にしていかに再帰を実現するか.

実装のポイントとしては, 動的計画法を用いるために`dp[MAX_Q + 1][MAX_Q + 2]: (i, j)を解放するのに必要な金貨`を定義して使うところ. dpがどういう動きをするのかが最初わかりにくいので具体的な例でdpテーブルを埋める作業をしてみる. 幅が小さい順に調べるモチベーションがわかる.

```cpp
const int MAX_Q = 100;
int P, Q, A[MAX_Q + 2];
// (i, j)を解放するのに必要な金貨
int dp[MAX_Q + 1][MAX_Q + 2];
void solve() {
    // 簡単のため端をAに追加する
    A[0] = 0;
    A[Q + 1] = P + 1;
    // 初期化
    for (int q = 0; q <= Q; q++) {
        dp[q][q + 1] = 0;
    }
    // 幅が小さい順にdpを埋めていく
    for (int w = 2; w <= Q + 1; w++) {
        for (int i = 0; i + w <= Q + 1; i++) {
            int j = i + w;
            int t = INT_MAX;
            // 最初に解放する囚人を全て試し最小コストのものを探す
            for (int k = i + 1; k < j; k++) {
                t = min(t, dp[i][k] + dp[k][j]);
            }
            // 最初の解放では解放する囚人にかかわらずA[j] - A[i] - 2の金貨が必要
            dp[i][j] = t + A[j] - A[i] - 2;
        }
    }
    printf("%d\n", dp[0][Q + 1]);
}
```cpp

### Millionaire (2008 APAC local onsites C)

お金の掛け方が整数に限られていないので, 全探索ができない. ここで, ラウンドが1回しかなかった場合, 金額によって0%, P%, 100%の3つの確率に分けられることに気づく. さらに2ラウンドの場合は, 5つの確率に分けられる. この考えかたを動的計画法で実装する.

実装のポイントとしては, iラウンド目の確率はi-1ラウンド目の確率をもとに計算するので, 2つの配列`prv`と`nxt`を用意してうまく使うところにある. i-1ラウンド目の状態から正解・不正解する場合を確率の独立性を生かして考える.

```cpp
typedef long long ll;
const int MAX_M = 15;
int M, X;
double P;
double dp[2][(1 << MAX_M) + 1];
void solve() {
    // n = 2^M
    int n = 1 << M;
    double \*prv = dp[0], \*nxt = dp[1];
    memset(prv, 0, sizeof(double) * (n + 1));
    // 既に100万円持っていれば確率1
    prv[n] = 1.0;
    for (int r = 0; r < M; r++) {
        for (int i = 0; i <= n; i++) {
            int jub = min(i, n - i);
            double t = 0.0;
            for (int j = 0; j <= jub; j++) {
                t = max(t, P * prv[i + j] + (1 - P) * prv[i - j]);
            }
            nxt[i] = t;
        }
        swap(prv, nxt);
    }
    // 全勝した場合の金額 / 100万円
    int i = (ll)X * n / 1000000;
    printf("%.6f\n", prv[i]);
}
```cpp

### 感想

アルゴリズムに落とし込むところは発想力, そのあとの実装は再帰などをどう実現するかの数学力が必要なのではないかと思った.

第4回CTF勉強会 | ksnctf

Fri, 17 May 2019 04:44:56 +0900

今日は4人しかこなかった… 火曜の8:45からってのがきつすぎるんかな…

31 Kangacha

PHPで書かれた簡単なwebアプリケーションの問題. Gachaというボタンを押せば日本の戦艦の名前がランダムでリストに追加されていく. ソースコードも与えられているので読んでいく.


if (isset($_POST['submit']))
{
    //  Gacha
    if ($_POST['submit'] === 'Gacha')
    {
        //  Yamato is ultra rare
        $ship[] = mt_rand(0, count($shipname)-2);
        $s = implode(',', $ship);
        $sign = hash('sha512', $salt.$s);
        setcookie('ship', $s);
        setcookie('signature', $sign);
    }
    //  Clear
    if ($_POST['submit'] === 'Clear')
    {
        setcookie('ship', '', 0);
        setcookie('signature', '', 0);
    }
    header("Location: {$_SERVER['REQUEST_URI']}");
    exit();
}

このソースから, $_COOKIE['ship']に戦艦の番号の配列が, $_COOKIE['signature']にあらかじめ決められた$saltと戦艦番号のハッシュ値が格納される.


//  Check signature and read
if (isset($_COOKIE['ship']) and
    isset($_COOKIE['signature']) and
    hash('sha512', $salt.$_COOKIE['ship']) === $_COOKIE['signature'])
    $ship = explode(',', $_COOKIE['ship']);
else
    $ship = array();

ここで$_COOKIE['signature']のバリデーションを確認され, 不正であれば配列の中身が空になってしまう.

蟻本 | 2-6 数学的な問題を解くコツ

Sun, 12 May 2019 03:28:45 +0900

ユークリッドの互除法やエラストテネスの篩, 繰り返し二乗法の計算を勉強した.

線分上の格子点の個数

最大公約数-1がこの問題の解となる. ユークリッドの互除法を元にgcdを実装.


#include <iostream>
#include <vector>
using namespace std;
int x_1, x_2, y_1, y_2;
int gcd(int a, int b) {
    if (b == 0) {
        return a;
    } else {
        return gcd(b, a % b);
    }
}
int main(int argc, char const *argv[]) {
    cin >> x_1 >> y_1 >> x_2 >> y_2;
    int x_diff = abs(x_1 - x_2);
    int y_diff = abs(y_1 - y_2);
    cout << gcd(x_diff, y_diff) - 1 << endl;
    return 0;
}
```cpp

### 双六

ユークリッドの互除法を拡張する. `ax+by=1`を満たす整数`x, y`を探すには以下のようなスクリプトを書く.

```cpp

int extgcd(int a, int b, int& x, int& y) {
    int d = a;
    if (b != 0) {
        d = extgcd(b, a % b, y, x);
        y -= (a / b) * x;
    } else {
        x = 1;
        y = 0;
    }
    return d;
}
```cpp

### 素数判定

素数かどうかは`2 ~ √n`までを調べればよい.

```cpp

// 素数判定
bool is_prime(int n) {
    for (int i = 2; i * i <= n; i++) {
        if (n % i == 0) return false;
    }
    return true;
}
// 約数の列挙
vector<int> divisor(int n) {
    vector<int> res;
    for (int i = 2; i * i <= n; i++) {
        if (n % i == 0) {
            res.push_back(i);
            if (i != n / i) {
                res.push_back(n / i);
            }
        }
    }
    return res;
}
// 素因数分解
map<int, int> prime_factor(int n) {
    map<int, int> res;
    for (int i = 2; i * i <= n; i++) {
        while (n % i == 0) {
            ++res[i];
            n /= i;
        }
    }
    if (n != 1) {
        res[n] = 1;
    }
    return res;
}
```cpp

### 素数の個数

エラストテネスの篩と呼ばれるアルゴリズムを使って数える. 最小の素数の倍数をどんどん省いていく.

```cpp

int sieve(int n) {
    int p = 0;
    for (int i = 0; i <= n; i++) {
        is_prime[i] = true;
    }
    is_prime[0] = is_prime[1] = false;
    for (int i = 2; i <= n; i++) {
        if (is_prime[i]) {
            prime[p++] = i;
            for (int j = 2 * i; j <= n; j += i) {
                is_prime[j] = false;
            }
        }
    }
    return p;
}
```cpp

### 区間内の素数の個数

篩を2つ用いることで, 特定の区間の素数の個数を調べることができる. 区間`[a, b)`を調べる場合は, `[2, √b)`と`[a, b)`の篩を別々に作っておく.

```cpp

const int MAX_N = 100000000;
const int MAX_SORT_B = 100000000;
typedef long long ll;
bool is_prime[MAX_N];
bool is_prime_small[MAX_SORT_B];
int a, b;
void segment_sieve(ll a, ll b) {
    for (int i = 0; (ll)i * i < b; i++) {
        is_prime_small[i] = true;
    }
    for (int i = 0; i < b - a; i++) {
        is_prime[i] = true;
    }
    for (int i = 2; (ll)i * i < b; i++) {
        if (is_prime_small[i]) {
            for (int j = 2 * i; (ll)j * j < b; j += i) {
                is_prime_small[j] = false;
            }
            for (ll j = max(2LL, (a + i - 1) / i) * i; j < b; j += i) {
                is_prime[j - a] = false;
            }
        }
    }
}
```cpp

### Carmichael_Numbers

繰り返し二乗法を用いてべき乗を計算する. 基本的な考え方としては`x^22 = x^16 * x^4 * x^2`のようにx^2^i

を順次求めながら計算する.

```cpp

ll mod_pow(ll x, ll n, ll mod) {
    ll res = 1;
    while (n > 0) {
        if (n & 1) {
            res = res * x % mod;
        }
        x = x * x % mod;
        n >>= 1;
    }
    return res;
}
```cpp

## 感想

最後のビット計算をうまく使う実装は自分でできる気がしない…

swiftの画像キャッシュライブラリ

Sat, 11 May 2019 06:13:48 +0900

iOSアプリケーションにて画像を表示する際, URLから非同期でデータを取得してUIImage化するという処理がなされていて, それを簡単に書けるライブラリを紹介する. ここでは, 以下の2つのサイトを参考にした.

iOSアプリを作るときのおすすめ構成

Swiftの有名画像キャッシュライブラリを比較してみた

3種類のライブラリ

今回3つのライブラリに着目した.

Nuke
Kingfisher
AlamofireImage

結論として, Nukeが一番流行ってて処理速度も早かった. 処理速度に関しては以下のチュートリアルを使って, 3つのライブラリ全て使ってみた.

Nuke Tutorial for iOS: Getting Started

他のライブラリに関しては, KingfisherがObject-Cの時代のSDWebImageの流れを組んでいてドキュメントが多いのと, AlamofireImageは画像描画のアニメーションが豊富な点がいいのかなと思いました。

感想

普段ライブラリなんかはググって適当に使ってしまうが, こうして比較検討することはあとの変更コストをなくすために大事な作業だと思った.

蟻本 | 2-5 あれもこれも実は "グラフ"

Wed, 08 May 2019 14:22:01 +0900

グラフを使った解法を勉強した. グラフの表現方法として隣接行列と隣接リストの2つがあって, 最短経路問題を特にはベルマンフォード法, ダイクストラ法, ワーシャル-フロイド法があり, 最小全域木問題を特にはプリム法とクラスカル法がある. この一部を使った演習問題を紹介する.

二部グラフ判定

深さ優先探索を用いて, 隣接している頂点をどんどん塗っていく. グラフは隣接リストを使って表現されている.

#include <iostream>
#include <vector>
using namespace std;
const int MAX_V = 10000;
vector<int> G[MAX_V];
int V, E;
int color[MAX_V];
//頂点を1と-1で塗っていく
bool dfs(int v, int c) {
    color[v] = c;
    for (int i = 0; i < G[v].size(); i++) {
        // 隣接している頂点が同じ色ならfalse
        if (color[G[v][i]] == c) {
            return false;
        }
        // 隣接している頂点がまだ塗られていないなら-cで塗る
        if (color[G[v][i]] == 0 && !dfs(G[v][i], -c)) {
            return false;
        }
    }
    return true;
}
int main(int argc, char const *argv[]) {
    cin >> V >> E;
    for (int i = 0; i < E; i++) {
        int s, t;
        cin >> s >> t;
        G[s].push_back(t);
        G[t].push_back(s);
    }
    for (int i = 0; i < V; i++) {
        if (color[i] == 0) {
            if (!dfs(i, 1)) {
                printf("No\n");
                return 1;
            }
        }
    }
    printf("Yes\n");
    return 0;
}
```cpp

### Roadblocks

道を辺として, 交差点を頂点として2番目に短い経路を求める問題. 基本的にはダイクストラ法を用いるが, ２番目に短い経路も記憶しておくところがみそ.

```cpp
#include <iostream>
#include <queue>
#include <vector>
using namespace std;
const int MAX_N = 1000;
const int INF = 99999999;
struct edge {
    int to, cost;
};
typedef pair<int, int> P;  // firstは最短距離, secondは頂点の番号
int N, R, E;
vector<edge> G[MAX_N];  // グラフの隣接リスト表現
int dist[MAX_N];
int dist2[MAX_N];
void read() {
    cin >> N >> R >> E;
    for (int i = 0; i < E; i++) {
        int s, t, c;
        cin >> s >> t >> c;
        edge x, y;
        x.to = s;
        y.to = t;
        x.cost = c;
        y.cost = c;
        G[s].push_back(y);
        G[t].push_back(x);
    }
}
void solve() {
    priority_queue<P, vector<P>, greater<P> > que;
    fill(dist, dist + N, INF);
    fill(dist2, dist2 + N, INF);
    // 発ノード
    dist[0] = 0;
    que.push(P(0, 0));
    while (!que.empty()) {
        P p = que.top();
        que.pop();
        int v = p.second;
        int d = p.first;
        if (dist2[v] < d) {
            // 2番目の最短路より長い
            continue;
        }
        // vと隣接している頂点を更新
        for (int i = 0; i < G[v].size(); i++) {
            edge e = G[v][i];
            int d2 = d + e.cost;
            if (dist[e.to] > d2) {
                // 最短より短い場合
                swap(dist[e.to], d2);
                que.push(P(dist[e.to], e.to));
            }
            if (dist2[e.to] > d2 && dist[e.to] < d2) {
                // ２番目より短い場合
                dist2[e.to] = d2;
                que.push(P(dist2[e.to], e.to));
            }
        }
    }
    printf("%d\n", dist2[N - 1]);
}
int main(int argc, char const *argv[]) {
    read();
    solve();
    return 0;
}
```cpp

### Conscription

人を頂点として親密度をコスト付きの辺として, 最小全域木をもとめる問題. この時, コストの高い辺を使いたいのでコストの正負を反転させる. また, この問題は男と女が分けられているが, 特殊な構造を使わなかった.

最小全域木を求めるときはクラスカル法を用いた. クラスカル法はUnionFind木の手法を応用している.

```cpp
#include <iostream>
#include <queue>
#include <vector>
using namespace std;
const int MAX_N = 50000;
const int MAX_E = 50000;
const int MAX_R = 50000;
// union find
// --------------------------------------------
int par[MAX_N];
int depth[MAX_N];
void init_union_find(int n) {
    for (int i = 0; i < n; i++) {
        par[i] = i;
        depth[i] = 0;
    }
}
int find(int x) {
    if (par[x] == x) {
        return x;
    } else {
        return par[x] = find(par[x]);
    }
}
void unite(int x, int y) {
    x = find(x);
    y = find(y);
    if (x == y) return;
    if (depth[x] < depth[y]) {
        par[x] = y;
    } else {
        par[y] = x;
        if (depth[x] == depth[y]) depth[x]++;
    }
}
bool same(int x, int y) { return find(x) == find(y); }
struct edge {
    int u, v, cost;
};
bool comp(const edge& e1, const edge& e2) { return e1.cost < e2.cost; }
edge es[MAX_E];
int V, E;
int kruskal() {
    sort(es, es + E, comp);
    init_union_find(V);
    int res = 0;
    for (int i = 0; i < E; i++) {
        edge e = es[i];
        if (!same(e.u, e.v)) {
            unite(e.u, e.v);
            res += e.cost;
        }
    }
    return res;
}
int N, M, R;
int x[MAX_R], y[MAX_R], d[MAX_R];
void read() {
    cin >> N >> M >> R;
    for (int i = 0; i < R; i++) {
        cin >> x[i] >> y[i] >> d[i];
    }
}
void solve() {
    V = N + M;
    E = R;
    for (int i = 0; i < E; i++) {
        es[i] = (edge){x[i], N + y[i], -d[i]};
    }
    printf("%d\n", 10000 * (V) + kruskal());
}
int main(int argc, char const* argv[]) {
    read();
    solve();
    return 0;
}
```cpp

### Layout

牛を頂点と考え, 牛の番号, 仲の良さ, 仲の悪さをコストつきの辺として最短経路を求める問題. 発想としては, 全てを制約条件に落としこんだ結果, 両辺に変数が1つずつしか現れていないことに着目する.

今回は負の辺があるのでベルマンフォード法を用いる. 負閉路が存在するかどうかは, 牛の数だけupdateを行ったあとにも更新があるかどうかで判断する.

```sql
#include <iostream>
#include <queue>
#include <vector>
using namespace std;
const int MAX_ML = 10000;
const int MAX_MD = 10000;
const int MAX_N = 1000;
const int INF = 99999999;
int N, ML, MD;
int AL[MAX_ML], BL[MAX_ML], DL[MAX_ML];
int AD[MAX_MD], BD[MAX_MD], DD[MAX_MD];
int d[MAX_N];
bool updated;
void read() {
    cin >> N >> ML >> MD;
    for (int i = 0; i < ML; i++) {
        cin >> AL[i] >> BL[i] >> DL[i];
    }
    for (int i = 0; i < MD; i++) {
        cin >> AD[i] >> BD[i] >> DD[i];
    }
}
void update(int& x, int y) {
    if (x > y) {
        x = y;
        updated = true;
    }
}
void bellmanford() {
    for (int k = 0; k <= N; k++) {
        updated = false;
        // i+1からiへコスト0
        for (int i = 0; i + 1 < N; i++) {
            if (d[i + 1] < INF) {
                update(d[i], d[i + 1]);
            }
        }
        // ALからBLへコストDL
        for (int i = 0; i < ML; i++) {
            if (d[AL[i] - 1] < INF) {
                update(d[BL[i] - 1], d[AL[i] - 1] + DL[i]);
            }
        }
        // BDからADへコスト-DD
        for (int i = 0; i < MD; i++) {
            if (d[BD[i] - 1] < INF) {
                update(d[AD[i] - 1], d[BD[i] - 1] - DD[i]);
            }
        }
    }
}
void solve() {
    // 負閉路チェック
    fill(d, d + N, 0);
    bellmanford();
    if (updated) {
        printf("%d\n", -1);
        return;
    }
    fill(d, d + N, INF);
    d[0] = 0;
    bellmanford();
    int res = d[N - 1];
    if (res == INF) {
        res = -2;
    }
    printf("%d\n", res);
}
int main(int argc, char const* argv[]) {
    read();
    solve();
    return 0;
}
```cpp

## 感想

最後の牛の並びを最短経路問題に変換する方法はむずすぎる….

第3回CTF勉強会 | ksnctf

Sun, 05 May 2019 08:48:56 +0900

第3回CTF勉強会

ksnctfの9, 11, 12, 13が課題で, 14が演習問題である. 11が難しいらしい

9 Digest is secure!

pcapファイルをダウンロードして, wiresharkでhttp通信をフィルタリングしてみると, digest認証の通信が行われている. ちなみにDigest認証とは、

Digest認証とは、Basic認証と同じくApacheで利用できるアクセス制限です。ユーザーIDとパスワードを求める点までは全く同じですが、入力されたユーザーIDとパスワードをハッシュ関数であるMD5を用いて解析されにくい状態で送信する仕組みです。しかし、Basic認証と比べて後発の機能なので、かつては一部対応していないブラウザがありました。現在ではほとんどのブラウザに対応しているため、Basic認証ではなくDigest認証が使われるケースが増えています。レンタルサーバー比較なび

ここで, 認証の際に渡しているパラメータをみてみる.

Digest username=“q9”
realm=“secret”
nonce=“bbKtsfbABAA=5dad3cce7a7dd2c3335c9b400a19d6ad02df299b”
uri="/~q9/"
algorithm=MD5
response=“c3077454ecf09ecef1d6c1201038cfaf”
qop=auth
nc=00000001
cnonce=“9691c249745d94fc”

これから以下のようにresponseが作成される.

A1 = ユーザ名 ":" realm ":" パスワード
A2 = HTTPのメソッド ":" コンテンツのURI
response = MD5( MD5(A1) ":" nonce ":" nc ":" cnonce ":" qop ":" MD5(A2) )

これをみると. パスワードがわからなくてもA1さえわかればサーバーから送られてきたnonceを元にresponseを生成できることがわかる. ここで, A1を得るためにresponseを解読する. MD5は脆弱性が存在し鍵長も短いので復号ツールで復号できてしまう.

追記

後のパケットにA1が帰ってきているので, ツールを使わなくて良い.

Qiita:暗号化とハッシュ化に関する基本的な事柄まとめ Hash Toolkit: 復号ツール

c627e19450db746b739f41b64097d449:bbKtsfbABAA=5dad3cce7a7dd2c3335c9b400a19d6ad02df299b:00000001:9691c249745d94fc:auth:31e101310bcd7fae974b921eb148099c

この結果A1がわかった. ちなみにA1は解読できなかったのでパスワードがわからない. しかし他の全てのパラメータがわかるのでresponseを生成できる.

蟻本 | 2-4 データを工夫して記憶する "データ構造"

Tue, 30 Apr 2019 00:17:51 +0900

平成最後の日も蟻本の勉強をしてみた. 二分木, 二分探索木, Union-Find木を使った問題を3問解いた.

priority_queueを用いる問題

1 expedition

ガソリンを補給する回数を最小限に抑える問題. 探索としては, 今あるガソリンで次のガソリンスタンドに辿り着けなかったら, 過去に通過した供給量が一番大きいガソリンスタンドで補給したことにする. ここで, ガソリンスタンドをpriority_queueに入れて, 供給量が大きいもの順に並べていた.


#include 
#include 
using namespace std;
const int MAX_N = 10000;
int N, L, P;
int A[MAX_N + 1], B[MAX_N + 1];
void read() {
    cin >> N >> L >> P;
    for (int i = 0; i < N; i++) {
        cin >> A[i];
    }
    for (int i = 0; i < N; i++) {
        cin >> B[i];
    }
}
void solve() {
    A[N] = L;
    B[N] = 0;
    priority_queue que;
    int ans = 0, pos = 0, tank = P;
    for (int i = 0; i <= N; i++) {
        int d = A[i] - pos;
        // ガソリンを補給
        while (tank - d < 0) {
            if (que.empty()) {
                puts("-1");
                return;
            }
            tank += que.top();
            que.pop();
            ans++;
        }
        tank -= d;
        pos = A[i];
        que.push(B[i]);
    }
    printf("%d\n", ans);
}
int main(int argc, char const *argv[]) {
    read();
    solve();
    return 0;
}
```cpp

### 2 fence repair

なるべく長い板を切らせないように目的の板の集合を手に入れる問題. ナイーブに実装すると`O(N^2)`時間になってしまうが, `priority_queue`を用いれば`O(NlogN)`時間になる.

```cpp

const int MAX_N = 10000;
int n, l[MAX_N];
void solve() {
    cin >> n;
    for (int i = 0; i < n; ++i) {
        cin >> l[i];
    }
    LL ans = 0;
    priority_queue, greater > que;
    for (int i = 0; i < n; i++) {
        que.push(l[i]);
    }
    while (que.size() > 1) {
        int l1, l2;
        l1 = que.top();
        que.pop();
        l2 = que.top();
        que.pop();
        ans += l1 + l2;
        que.push(l1 + l2);
    }
    printf("%lld\n", ans);
}
int main() {
    solve();
    return 0;
}
```cpp

#### `priority_queue`の小さい順

```cpp
priority_queue<int, vector<int>, greater<int> > que;
```cpp

このように宣言する.

### 3 食物連鎖

複数の情報から矛盾している情報の数を求める. 食物連鎖の関係に矛盾がないことを調べるのにUnion-Find木を用いる. 情報を見ると, 同じ種類に属するか捕食被食の関係にあるという情報だけで種類を特定できない. そこで, 3通りのUnion-Find木を作って1つの木が同時に実現するということにする.

以下がUnion-Find木の実装である.

```cpp
// union find
// --------------------------------------------
int par[MAX_N];
int depth[MAX_N];
// 初期化
void init(int n) {
    for (int i = 0; i < n; i++) {
        par[i] = i;
        depth[i] = 0;
    }
}
// 木の根を返す
int find(int x) {
    if (par[x] == x) {
        return x;
    } else {
        return par[x] = find(par[x]);
    }
}
// 木を併合する
void unite(int x, int y) {
    x = find(x);
    y = find(y);
    if (x == y) return;
    if (depth[x] < depth[y]) {
        par[x] = y;
    } else {
        par[y] = x;
        if (depth[x] == depth[y]) depth[x]++;
    }
}
bool same(int x, int y) { return find(x) == find(y); }
int N, K;
int T[MAX_K], X[MAX_K], Y[MAX_K];
void solve() {
    cin >> N >> K;
    for (int i = 0; i < K; i++) {
        cin >> T[i] >> X[i] >> Y[i];
    }
    init(N * 3);
    int ans = 0;
    for (int i = 0; i < K; i++) {
        int t = T[i];
        int x = X[i] - 1, y = Y[i] - 1;  // 0...N-1
        // 正しくない番号
        if (x < 0 || x >= N || y < 0 || y >= N) {
            ans++;
            continue;
        }
        if (t == 1) {
            // xとyは同じ種類という情報
            if (same(x, y + N) || same(x, y + N * 2)) {
                ans++;
            } else {
                unite(x, y);
                unite(x + N, y + N);
                unite(x + N * 2, y + N * 2);
            }
        } else {
            if (same(x, y) || same(x, y + N * 2)) {
                ans++;
            } else {
                unite(x, y + N);
                unite(x + N, y + N * 2);
                unite(x + N * 2, y);
            }
        }
    }
    printf("number of wrong info is %d\n", ans);
}
int main() {
    solve();
    return 0;
}
```cpp

## 感想

Union-Find木を知らなかったので, 食物連鎖の実装が綺麗でわかりやすかった. これも標準のライブラリがあればいいのに…

蟻本 | 2-3 値を覚えて再利用 "動的計画法"

Sat, 27 Apr 2019 18:49:31 +0900

アルゴリズム活用力は, 主にコーディングの試験の際に見られるところであり, webアプリやモバイルアプリを作るのにはあまり必要ないかもしれない. しかし, 将来転職する際にAtcoderである程度の成績を納めていたら強いのではという理由と, 単に楽しいからという理由で蟻本の中級くらいやりたいなと思っている. ってか, 今日のAtcoder全然解けへんくて萎えた…

今回は, 2_3 値を覚えて再利用"動的計画法"を勉強した.

01ナップサック問題

dpを使った動的計画法の初歩が書かれていた. 全探索を行うとO(2^n)かかってしまうところが, メモ化によりO(nW)の計算量で済む. この問題のコツは, 品物と重さを引数として価値の総和を出した時に計算結果を残しておくという発想から.


const int MAX_N = 100;
int n, W;
int w[MAX_N], v[MAX_N];
// dp[i+1][j]: i番目までの品物から重さの総和がj以下となるように選んだ時の,
// 価値の総和の最大値
int dp[MAX_N + 1][MAX_N + 1];
int main() {
    cin >> n;
    for (int i = 0; i < n; i++) {
        cin >> w[i] >> v[i];
    }
    cin >> W;
    for (int i = 0; i < n; i++) {
        for (int j = 0; j <= W; j++) {
            if (j < w[i]) {
                dp[i + 1][j] = dp[i][j];
            } else {
                dp[i + 1][j] = max(dp[i][j], dp[i][j - w[i]] + v[i]);
            }
        }
    }
    printf("max sum value is %d\n", dp[n][W]);
    return 0;
}
```cpp

#### 参考: メモ化テーブルを初期化する方法

```cpp
memset(dp, -1, sizeof(dp));
```cpp

ってな感じで, 0と-1ならば初期化できる. 1はできない.

### 最長共通部分列問題

この問題のコツは, 2つも文字列を引数とした計算結果をメモ化するところである. 最初のうちはDPテーブルをかくと漸化式が浮かびやすいかなと思う.

```cpp

const int MAX_N = 1000;
int n, m;
char s[MAX_N], t[MAX_N];
int dp[MAX_N][MAX_N];
int main() {
    cin >> n >> m >> s >> t;
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < m; j++) {
            if (s[i] == t[j]) {
                dp[i + 1][j + 1] = dp[i][j] + 1;
            } else {
                dp[i + 1][j + 1] = max(dp[i + 1][j], dp[i][j + 1]);
            }
        }
    }
    cout << "max value is " << dp[n][m] << endl;
    return 0;
}
```cpp

### 個数制限なしのナップサック問題

個数制限がなくなったことで, 愚直に計算するとforループがもう一つ増えてしまう. そこで無駄に計算を行なっている箇所を探して, 漸化式を簡単にする. コツとしては, DPテーブルをみて漸化式の動きをみて, 簡単になる箇所がないかを探すのみだと思う.

#### 参考: 偶奇を考えた配列の再利用

```cpp
for (int i = 0; i < n; i++) {
    for (int j = 0; j <= W; j++) {
        if (j < w[i]) {
            dp[(i + 1) & 1][j] = dp[i & 1][j];
        } else {
            dp[(i + 1) & 1][j] =
                max(dp[i & 1][j], dp[(i + 1) & 1][j - w[i]] + v[i]);
        }
    }
}
```cpp

`(i + 1) & 1`の使い方がめちゃうまい気がする… こうして, 2行分のデータを確保できる.

### 01ナップサック問題その2

重さの制約条件が緩くなって, Wが10^9まで飛んでしまった時は, Wでforループを回したくなくなる. そんなときは, メモ化けする対象を入れ替えることでうまくいく. メモ化の値に大きくなるものを入れるのがコツな気がする.

```cpp

const int MAX_N = 100;
const int MAX_V = 100;
const int INF = 99999999;
int n, W;
int w[MAX_N], v[MAX_N];
// dp[i+1][j]: i番目までの品物から価値の総和がjとなるよう選んだときの,
// 重さの総和の最小値 そのような解が存在しない場合は十分大きな値INF
int dp[MAX_N + 1][MAX_N * MAX_V + 1];
int main() {
    // 入力値の読み込み
    cin >> n;
    for (int i = 0; i < n; i++) {
        cin >> w[i] >> v[i];
    }
    cin >> W;
    // 解く
    fill(dp[0], dp[0] + MAX_N * MAX_V + 1, INF);
    dp[0][0] = 0;
    for (int i = 0; i < n; i++) {
        for (int j = 0; j <= MAX_N * MAX_V; j++) {
            if (j < v[i]) {
                dp[i + 1][j] = dp[i][j];
            } else {
                dp[i + 1][j] = min(dp[i][j], dp[i][j - v[i]] + w[i]);
            }
        }
    }
    int res = 0;
    for (int i = 0; i <= MAX_N * MAX_V; i++) {
        if (dp[n][i] <= W) {
            res = i;
        }
    }
    printf("max sum value is %d\n", res);
    return 0;
}
```cpp

### 個数制限付き部分和

bool値をメモ化けするのは無駄がある. そこで大きな値である残りの`a_i`を入れることで漸化式が改善されて計算量を落とすことができる.

```cpp

const int MAX_N = 100;
const int MAX_K = 100000;
int n;
int K;
int a[MAX_N];
int m[MAX_N];
// dp[i+1][j]: i番目まででjを作る際に余る最大のi番目の個数(作れない場合は-1)
int dp[MAX_K];
int main() {
    cin >> n;
    for (int i = 0; i < n; i++) {
        cin >> a[i] >> m[i];
    }
    cin >> K;
    memset(dp, -1, sizeof(dp));
    dp[0] = 0;
    for (int i = 0; i < n; i++) {
        for (int j = 0; j <= K; j++) {
            if (dp[j] >= 0) {
                dp[j] = m[i];
            } else if (j < a[i] || dp[j - a[i]] < 0) {
                dp[j] = -1;
            } else {
                dp[j] = dp[j - a[i]] - 1;
            }
        }
    }
    if (dp[K] > 0) {
        printf("answer is YES\n");
    } else {
        printf("answer is NO\n");
    }
    return 0;
}
```cpp

### 最長増加部分列問題

案外奥が深い問題. 部分文字列の候補があがってくるのでそれをメモ化すると`O(n^2)`で解くことができるが, 候補よりも, 最終要素がなにであるかに着目すると`O(n \log n)`で解くことができる. ここらへんは地頭の良さ.

#### 参考: lower_bound

```cpp
fill(dp, dp + n, INF);
for (int i = 0; i < n; i++) {
    * lower_bound(dp, dp + n, a[i]) = a[i];
}
printf("%ld\n", lower_bound(dp, dp + n, INF) - dp);
```cpp

ってな感じで, ソートされた列aから二分探索で`a_i <= k`となりような最小の`a_i`のポインタを求めることができる.

### 分割数

最適化だけでなく場合の数にも応用.

```cpp

const int MAX_N = 1000;
const int MAX_M = 1000;
int n, m;
int M;
int dp[MAX_M + 1][MAX_N + 1];
int main(int argc, char const *argv[]) {
    cin >> n >> m;
    cin >> M;
    dp[0][0] = 1;
    for (int i = 1; i <= m; i++) {
        for (int j = 0; j <= n; j++) {
            if (j >= i) {
                dp[i][j] = dp[i - 1][j] + dp[i][j - i];
            } else {
                dp[i][j] = dp[i - 1][j];
            }
        }
    }
    printf("%d\n", dp[m][n] % M);
    return 0;
}
```cpp

### 重複組み合わせ

これはめちゃめちゃ難しかった. これも,

- 何をメモ化するか
  - 漸化式が作れるように
  - 計算量が多くならないように
- 1つ前の値を意識する
  - DPテーブルから漸化式を導き出す

みたいなところが大事である.

```cpp

const int MAX_N = 1000;
int n, m;
int a[MAX_N + 1];
int M;
int dp[MAX_N + 1][MAX_N + 1];
int main(int argc, char const *argv[]) {
    cin >> n >> m;
    for (int i = 0; i < n; i++) {
        cin >> a[i];
    }
    cin >> M;
    // 1つも選ばない方法は常に1通り
    for (int i = 0; i <= n; i++) {
        dp[i][0] = 1;
    }
    for (int i = 0; i <= n; i++) {
        for (int j = 0; j <= m; j++) {
            if (j - 1 - a[i] >= 0) {
                dp[i + 1][j] =
                    (dp[i + 1][j - 1] + dp[i][j] - dp[i][j - 1 - a[i]] + M) % M;
            } else {
                dp[i + 1][j] = (dp[i + 1][j - 1] + dp[i][j]) % M;
            }
        }
    }
    printf("%d\n", dp[n][m]);
    return 0;
}
```cpp

## 感想

蟻本なかなか重たい. 結構な練習を積まないと身につかない. やっぱり初級編だけ終わらせようかなと思ってきた…

研究室セミナー | 通信遅延

Tue, 23 Apr 2019 07:41:49 +0900

リアルタイム性に厳しいアプリケーションに対する通信遅延を考慮した実装と通信遅延を抑えるための研究 from Takaaki Sawa

第2回CTF勉強会 | ksnctf

Sun, 21 Apr 2019 03:45:30 +0900

前回は, CpawCTF2の1問を解いたが難易度が高かったので, ksnctfをみんなで解くことにした. 今回の課題は2, 3, 5, 6である.

write up

[2] Easy Cipher

EBG KVVV vf n fvzcyr yrggre fhofgvghgvba pvcure gung ercynprf n yrggre jvgu gur yrggre KVVV yrggref nsgre vg va gur nycunorg. EBG KVVV vf na rknzcyr bs gur Pnrfne pvcure, qrirybcrq va napvrag Ebzr. Synt vf SYNTFjmtkOWFNZdjkkNH. Vafreg na haqrefpber vzzrqvngryl nsgre SYNT.

見るからにシーザ暗号なので, 文字をずらすことを考える.

文字コードはUnicodeに従うとして,

空白の文字コードは32
大文字の文字コードは65~90
小文字の文字コード97~122 である. これを加味して以下のような解読するための関数をpythonでかく.


# シーザー暗号の解読
def decrypt(text, rot):
    decrypt_text = ''
    for ch in text:
        # 文字コードに変換
        code = ord(ch)
        if code == 32:
            # 空白ならそのまま出力
            decrypt_text += ch
            continue
        if code <= 90:
            # 小文字
            code += rot
            if code > 90:
                code = code - 90 + 64
        else:
            # 大文字
            code += rot
            if code > 122:
                code = code - 122 + 96
        # 文字に変換
        decrypt_text += chr(code)
    return decrypt_text
text = "EBG KVVV vf n fvzcyr yrggre fhofgvghgvba pvcure gung ercynprf n yrggre jvgu gur yrggre KVVV yrggref nsgre vg va gur nycunorg. EBG KVVV vf na rknzcyr bs gur Pnrfne pvcure, qrirybcrq va napvrag Ebzr. Synt vf SYNTFjmtkOWFNZdjkkNH. Vafreg na haqrefpber vzzrqvngryl nsgre SYNT"
for i in range(1, 26):
    if decrypt(text, i).find("FLAG") != -1:
        print(decrypt(text, i))
# ROT XIII is a simple letter substitution cipher that replaces a letter with the letter XIII letters after it in the alphabet; ROT XIII is an example of the Caesar cipher9 developed in ancient Rome; Flag is FLAGSwzgxBJSAMqwxxAU; Insert an underscore immediately after FLAG

また, ROT13はPythonに実装されているので一瞬で解読できる.

第1回CTF勉強会 | CpawCTF2

Mon, 15 Apr 2019 03:31:43 +0900

はじめに…

これをといてみます

CTFとはこんな感じでハッキングするゲームである。

目的

ゲーム感覚で楽しみながらセキュリティに強くなる

実際に解いてみよう

今回解くのは以下の問題. CpawCTF2 [2] PRANK

Yesterday, someone played a Telenet prank and left this file on my machine. ziiiiiiiiiiiiiip.zipI hope this pcap file will help you. prank.pcap

圧縮ファイルとパケットファイルが入っている. 圧縮ファイルを見ると, 0のパスワードを要求される. パケットファイルはTCPとtelnetの通信が行われている.

解法

Telnetは、ネットワークに接続された機器を遠隔操作するために使用するアプリケーション層プロトコル。オフィスのデスクにいながら、マシンルームにあるサーバ、ルータ等の機器をパソコン上で操作できます。 PCにはtelnetクライアント、ルータなどの機器にはtelnetサーバのサービスが有効であることが前提ですネットワークエンジニアとして

らしいので, telnetの中身を覗いたらいろんなコマンドがわかってパスワードがわかるんじゃないかという気持ちでパケットを見る.

パケット1つ1つのData部を見ればいいのだが日が暮れるので, TCP streamを見る. 最後に圧縮の操作をしてるんじゃないかと思ってみたらビンゴ.

そのパスワードを使って圧縮ファイルを開くとめちゃめちゃいろんなファイルがある. なんかtelnetを眺めているとmvとかの操作でいろんなファイルができている. そこで, 最初にあるflag.txtにフラグがあるんじゃないかと予想して追ってみる. すると flag.txt があるファイルに変換されている. それを見ればビンゴ.

感想

いいぐらいの難易度だった.

Ruby on Railsでの多対多の関連付け

Fri, 12 Apr 2019 17:31:43 +0900

背景

自分は現在院生2回生で, 4回生のころから京都のゲーム・Web会社で働いている. 今も細々と続けている中で, Ruby on Railsに触れる機会があったのでその知見を貯めておく.

今回は多対多の関連付けと, その使い方を紹介する.

データ構造

このアプリケーションには, userとgroupの定義があって, userは複数のgroupに所属することができて, groupは複数のuserを持つ. よって中間テーブルを用いて多対多の関連付けを定義する.

schema.rb


ActiveRecord::Schema.define(version: 20_190_219_052_352) do
  create_table "group_users", options: "ENGINE=InnoDB DEFAULT CHARSET=utf8", force: :cascade do |t|
    t.bigint "user_id", null: false
    t.bigint "group_id", null: false
    t.index ["group_id"], name: "index_group_users_on_group_id"
    t.index %w[user_id group_id], name: "index_group_users_on_user_id_and_group_id"
    t.index ["user_id"], name: "index_group_users_on_user_id"
  end
  create_table "groups", options: "ENGINE=InnoDB DEFAULT CHARSET=utf8", force: :cascade do |t|
    t.string "name", null: false
    t.integer "status", default: 1, null: false
  end
  create_table "users", options: "ENGINE=InnoDB DEFAULT CHARSET=utf8", force: :cascade do |t|
    t.string "name", null: false
  end
end

テーブル名をgroup_usersにして中間テーブルを作る. このテーブルをもとにgroupからuser, userからgroupを参照する. ここでindexが3つ貼られているが, 以下のようにして簡単に貼ることができる.

create_group_users.rb


class CreateGroupUsers < ActiveRecord::Migration[5.2]
  def change
    create_table :group_users do |t|
      t.references :user, null: false, foreign_key: true
      t.references :group, null: false, foreign_key: true
      t.timestamps
    end
    add_index :group_users, %i[user_id group_id]
  end
end

Ruby on Railsでオシャレな処理を書く

Fri, 12 Apr 2019 10:00:45 +0900

背景

また, Ruby on Railsは型が決まった書き方があるので, 少ない行数に多くの情報を詰め込むことができて, 書き終わった後の見通しがとてもいいと思う. そんなオシャレな書き方を少し紹介したい.

使用するデータのスキーマとモデル

今回紹介するのは, SNSアプリのAPIの中身の一部である.

以下に, 端末の情報を持つdeviceテーブルと, ユーザーの情報をもつuserテーブルを定義する.

schema.rb


ActiveRecord::Schema.define(version: 20_190_219_052_352) do
  create_table "devices", options: "ENGINE=InnoDB DEFAULT CHARSET=utf8", force: :cascade do |t|
    t.bigint "user_id"
    t.string "uuid"
    t.integer "user_agent"
  end
  create_table "users", options: "ENGINE=InnoDB DEFAULT CHARSET=utf8", force: :cascade do |t|
    t.string "email", null: false
    t.string "password_digest", null: false
  end
end
```ruby

`user`と`device`の関係は1対多であり, `belongs_to`と`has_many`で関連付けされている. 以下にそれぞれもモデルを示す.

user.rb

```ruby

class User < ApplicationRecord
  has_many :devices, dependent: :nullify
end

Device.rb


class Device < ApplicationRecord
  belongs_to :user, optional: true
  # deviceとuser_idを紐づける
  def update_user_id(user)
    user.devices << self
  end
  def shape_response
    { uuid: uuid }
  end
end

オシャレな文法たち

上記データ構造をもとにおしゃれな文法たちを紹介する.

WindowsでAtomを使ってLaTeX環境を整える

Tue, 09 Apr 2019 16:17:11 +0900

背景

エディタもTeXも知らない状況で, LaTeXを使ってレポートを書く際に, 環境構築に苦労する. そこで, Atomを使ってLaTeXがかけるようあ環境を整えた. Atomを使った理由は, Sublimeの人気が落ちていそうな気がしているのと, VSCodeでLaTeXが書きにくかったからである. あとSublimeに飽きてきたのもある. ちょっと重たいのが難点.

方法

TexLiveをインストールする

http://mirror.ctan.org/systems/texlive/tlnet/install-tl.zipにアクセスしてインストールする. めちゃめちゃ時間がかかる. 3時間くらいかかっていたかも. 全てデフォルトの設定にしておく. 自動的にPATHを通してくれるが, 動かなかった時はこちらを参照してPATHを確認する.

注意点

他にもいろんなtexに関するソフトがあったが, これが一番主流で新しいそうだと勝手に判断した.

Atomをインストールする

https://atom.io/にアクセスしてダウンロードする. すでにダウンロードしている場合は, Atomを再起動しないとPATHが反映されないため気をつける.

Atomにパッケージをインストールする

以下の3つのパッケージをインストールする.

language-latex
.texファイルのテキストを色分けしてくれるためのもの
pdf-view
Atom上でpdfを出力するためのもの. ちょっと拡大縮小がやりにくい.
latex
compileするためのパッケージ.
Settingsから
Build on Saveをtrueにしておく. 保存したと同時にcompileされる.
Open Result after Successful Buildをtrueにしておく. compileと同時にpdfが開かれる.
Openerをpdf-viewにしておく. これでAtom上でpdfが開かれる.

AtomでTeXを編集する

いろいろインストールしたらとりあえずAtomを再起動するのがいいかも. そして適当な.texファイルを作って, 適当にテキスト編集して保存すると, compileされたものが出現する.

感想

TeXLiveがばり重かったので, もっと軽いものが存在するかもしれない…

Windowsでjupyter notebookする

Tue, 09 Apr 2019 16:13:46 +0900

背景

TAとして研究室のB4の課題を手伝う事になったが, 課題に取り組む前の環境構築につまずいてしまって課題どころじゃなくなる…みたいな状況を避ける為に, Windowsでjupyter notebookするところまでを手伝ってあげた.

内容

Pythonをインストール

まず, Pythonをインストールしてもらう.

いろいろな設定をするように言われるが, すべてデフォルトの設定にする. これは, あとでPythonの設定を変更するときに, どんな設定にしたかを忘れないようにするために有効である.

注意点

Pathを通すことを忘れないように. 忘れていた場合, もう一度インストーラーを起動して設定を変更できる.
adminの実行権限が必要である. これは, Pythonがwindowsのシステムに関わる部分を触るためだとおもわれる.

これは, Pythonのコマンドをpythonと打つだけで実行できるようにショートカットを作るイメージである. cdだったり, lsのコマンドはデフォルトで実行できるようになっているが, pythonは設定しなければいけない.

git bashをインストール

次に, git bashをインストールしてもらう.

本来, windowsのコマンドプロンプトを使ってもいろいろ実行できるのだが, linuxのコマンドの方が圧倒的に使用者が多いので, Linuxコマンドをwindows上で使えるようにする.

注意点

git bashの起動と同時にPathの情報が読み込まれる. Pathの設定を変更したならば, git bashを再起動する必要がある.

jupyter notebookをインストール

git bash上で以下のコマンドを実行する. command not foundとなればPathが通っていない可能性が高い.


pip install -U pip
pip install jupyter

余談

このコマンドでPythonのいろんなパッケージをインストールできる.

jupyter notebookを実行する

以下のコマンド実行する. カレントディレクトリ以下に.ipynbのファイルがあることを確認する.


jupyter notebook

これで, ブラウザ上で.ipynbファイルをいじることができる.

まとめ

pathで詰まっただけで1時間弱くらいで4人とも実行することができた.

Posts on ashitaka blog

人文学を勉強したい

ブルシット・ジョブが増殖している？

週15時間労働はなぜ実現しなかったのか

無意味な仕事がでっち上げられている

ブルシット・ジョブの定義

まとめ

2024年から始まる教育とエミール

エミールにたどり着くまで

中学生までは理性が眠っている

最初らへん感覚めちゃ大事

時間を無駄にするのが教育

幼児期においては勉強は不要

まとめ

半年間育休をいただいております

なぜ福岡の糸島に移住するのか

人口密度が低いから

自然が豊かだから

博多が便利だから

地震リスクが低そうだから

九州住んだことないから

フルリモートできるから

家賃が安いから

移住される方が多そうだから

人口が増加しているから

ゴルフ場あるから

まとめ

LlamaIndexを触ってみる (Part 1)

気づきたち

Vimmerを卒業してCursorerになる

Cursorとは

Cursorでできること

コードについて質問できる

コードを書いてくれる

コードを修正してくれる

コマンドも書いてくれる

Vimの操作感は捨て難い…!

ChatGPTと文字数制限しりとりしてみた

まとめ

Stable DiffusionをDiffusion Beeで動かしてみた

Salesforce認定 Experience Cloudコンサルタント試験をChatGPTに解かせてみた

Insight

やりとり

USER

ASSISTANT

USER

ASSISTANT

USER

ChatGPTに京都大学2014年度の数学の問題を解かせてみた

Let’s ask ChatGPT

ChatGPT4 本格RPG「チャット転生 〜 死んだはずの幼馴染が異世界で勇者になっていた件」をプレイしてみた

ASSISTANT

USER

ASSISTANT

USER

ASSISTANT

USER

ASSISTANT

USER

ASSISTANT

USER

ASSISTANT

USER

ASSISTANT

USER

ASSISTANT

USER

ASSISTANT

USER

ASSISTANT

USER

GPT-4のスクリプト実行したら記事全部消えた

まとめ

ChatGPTでテトリス作ってみた

完成形

会話highlight

一瞬でコード書けるスーパーエンジニア

すぐ解決策に走る初心者エンジニア

「コード見せて」といってくるベテランエンジニア

かわいい

ChatGPT4 本格RPG「チャット転生〜死んだはずの幼馴染が異世界で勇者になっていた件」をプレイしてみた

1章マイクロサービス

2章進化的アーキテクト

3章サービスのモデル化方法

4章統合