memo.wass80.xyz

まとめ 現実逃避に、DH鍵交換を手でやってました。 手で試すと、運悪く不思議なケースを引きました。 調べると、DH鍵交換がうまく行かないケースは次の2つがあるようです。 パラメータpが安全素数でないこと。 p-1を共有してしまうこと。 失敗した手計算を共…

警告: 鬱的吐露 心が折れています。 つらい。 研究も就活も何一つうまくできない。 しんどい。 心を保てない。 今週もなにもできなかった。 現実逃避の行動を時々して、 それでかりそめの満足感を得てしまっている。 焼豚の写真です。

就活も研究もなにもかもうまくいっていないwassです。 ところで、夏至の日は1年で最も日の出ている時間が長いことが知られています。 しかし、1年で最も早く日の出る日は夏至の日ではないことはあまり知られていません。 国立天文台の暦Wikiに詳細が書かれて…

Flutterに採用されているDartでは、void型に好きな値を代入することができます。 void main() { void x = 2; } 型が値を定める言語に慣れていると、これは奇妙に思えます。しかし、型が振る舞いを定める言語であると思うと、これが自然と感じられるようにな…

Rassbery PI Zero Wにタッチスクリーンを付けました． 買ったのはこのKINCREAの7インチスクリーンです． KINCREA 7インチ Raspberry Pi用 ディスプレイ 1024 * 600解像度 ホルダー付き Raspberry Pi 4 3 B+ 3 2に適用 HDMI入力 タッチパネル タッチスクリー…

ISUCON10の予選にteamで参加しました． 結果は24位で通過です．めでたい やったこと 計測 new relic どのrequestが遅いとか，sqlが何回何秒かかってるかわかって便利だった． sql slow log indexが効いてないクエリがたくさん確認できた utgwがforce indexで…

tl;dr キャントストップのノーストップ戦略の一発登頂確率をDPで求める 6,7,8のレーンしか登れない場合，1発で3レーンとも登りきれる確率は5% 前置き こんにちは． キャントストップというチキンレースダイスゲームがあります． 4個のダイスと3個のコマ，2か…

JSのArray#shiftはとても遅いです． 後輩がキューを実装したくて困っていました． キューの実装を紹介して，その計測を示します． とりあえず計測 高速化の議論をするときは，必ず始めにベンチマークを取りましょう． shift/pop/spliceを比較しました．ベン…

こんにちは．休学しているwassです． 新型コロナの流行っている現在，物理でボドゲするのは困難です． でも週に1回ぐらいはボドゲしないと死んでしまいますよね？ なので，Board Game Arenaを遊んでいます． やったボドゲの感想をつらつらと述べていきます．…

1ヶ月東京に存在していた間の行動記です。まともなことは書いていないです． 第1週 肉のハナマサ ホテルにまともなIHとフライパンのあることを確認したので，肉のハナマサで2kg冷凍ミンチを買った。 冷凍みじん切り玉葱とともに電子レンジで温めてキーマカレ…

こんにちは． 表題の通り，修士課程を休学することにしました． 休学の理由は，なんにもできない気持ちになったからです． 研究があんまりうまく回せず， 他のこともなんにも出来ないみたいな状態が続いてしまっていました． とりあえず，研究を1ヶ月休んだ…

東京の好きなところがある． 短時間レンタルサイクルが充実していることだ． 東京の都心は，思っているより遥かに狭い． 普段は鉄道や地下鉄でワープのように移動する． しかし，自転車で移動すると意外と狭い事がわかって楽しい． 東京にはものすごい量の自…

TODO多めのまま公開します。別に書いてた下書きが消えたので。 定理証明のコンテストシステムを作って、今日の夕方に第1回のコンテストを開催していた。https://t.co/8vi0dWszRW— あしぃ (@asi1024) 2019年8月18日 これです。 定理証明コンテストとは, 定理…

京都はクソ湿度が高くて気力が出ないです。 そんなズボラな状態でもコマンドは叩けるようにようにしておきたいものです。 alias集 l='ls -CF' ただ，zshの設定で空コマンドでEnterするとlsになっている。 v='vim' 必須 s='less' LESSに環境変数をつけていな…

こんにちは。 京都市バスの地図を見た時，考えることがあると思います。 サイコロを振ってすごろくをすると楽しいのではないかと。 というわけで，京都市バスの1日乗車券を用いて，リアルすごろくを行いました。(去年の夏) ルール 目的地バス停を決定する。 …

固まったsshから強制に抜ける Enterしてから~. ~?でヘルプが出る 描画の壊れたターミナルを治す stty sane コマンドで治る 書きかけのコマンドを保持する Ctrl-Qでバッファをスタックする。 新しいプロンプトを出すと復帰する。 前回のコマンドの一部を書き…

悲しいが，SSLを無効化するしかない… wgetのSSL無効化というかこれは証明書の無視ですね。 あとで気づいた。 $ echo "check_certificate = off" >> ~/.wgetrc git clone https://~がコケるので，git@github.comに書き換える url."git@github.com:".insteadOf…

Spacemacsをmacにインストールすると，Applicationsにシンボリックリンクを作れ，という指示が出る。 $ ln -s /usr/local/Cellar/emacs-plus/26.2/Emacs.app ~/Applications/Emacs.app これはSpotlightに読み込まれない。手軽に起動できない。 回避するには…

wass80.hateblo.jp の後編です。 mRubyで時計のプログラムを書けるようにする といっても，もくもくとAPIを実装するだけです。 用意したAPIはこれだけあります。 github.com こういうプログラムをHTTPで書き込んで時計で実行できるようになりました。 i = 0 …

マトリックスLEDでスマート時計を作る - Google スライド 作ったもの LEDmatrixの時計 NTP時刻取得 HTTP GETで情報を受けられる mRubyのプログラムをGETで入力できる 概要 ESP32 ー 安いマイコン LED matrix 32×32 RGB LEDマトリックス/KP-3232D/49004740230…

206系統が辛い 祇園ー京都駅を結ぶ京都市バス206系統は過剰な混雑を起こします． Ｈ28_市バス_営業係数 | 京都市オープンデータポータルサイト によると1日あたり28,287人が206系統利用します． 206系統は平日，123本のバスが予定されています． 1台で229人…

ボドゲに触れたことない人向けに、いくつかおすすめします。 マジックメイズ 2-8人 15分 リアルタイム協力ゲーム 仲間と協力して制限時間内に装備品を手に入れて脱出しろ！ 協力ゲーム: 全員勝利を目指すゲーム リアルタイム: 手番の概念がない 協力する楽し…

これは部内のKibelaに公開していた記事の移植です。名前は適当に置き換えました 23:55に起きた。08:50に名古屋に行くことを決めた。 喫茶マウンテンに無事9人が集合した。 人々が思い思いに注文する。 メロンスパ、バナナスパ、バナナスパもう一つ、メロンス…

春休み，ふらっと出かけたい気分だったので， 梅小路にある施設に出かけた． 入館料は2施設セットになったものが学生2300円． 鉄道博物館 梅小路公園の西側にある．もともと梅小路蒸気機関車館があり，リニューアルされた． 鉄道博物館は必ず開店凸をしたほ…

東京見物の2日目のログ． 1日目はこちら． wass80.hateblo.jp 明治大学博物館 いくつか展示があるが，その中でも有名なのが拷問器具の展示． ギロチンや， アイアンメイデンがあった． 下のほうの針はガバガバなので，人を中に縛って使うのか，それともそも…

飲酒プログラミングコンテスト(通称，飲酒プロコン)という，最悪なイベントが行われた． ルール 参加者には問題を1問読む権利が与えられている． ビールを1缶開けるごとに次の権利が両方共得られる 1回提出する権利 新しい問題を1問を読む権利 全完するため…

東京に行く機会のついでに，東京の行きたかったところに行ってきた． アニオン 初音ミクコラボカフェ 平日だったので客は僕と知らない人1人しかいなかった． スタジオにテーブルが置いてある感じで，ずっとボカロ曲が流れ続けていた． テーブルにはメニュー…

テキサスホールデムの変種に、ロイヤルホールデム(royal hold'em)があります。 これはAKQJTの5枚4スート、合計20枚のショートデックを使います。 あとは、普通のホールデムと同様にゲームを行います。 ランダムハンドの役出現確率は下のようになります。 役 …

4人集まったときにするトランプゲーム、何してますか？ ハーツですか？スペードですか？ そういう4人が集まることができるなら、コントラクトブリッジの名前は聞いたことがあると思います。 ただ、ネット上にはコントラクトブリッジの情報が本当に少ない！ …