タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用

タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用

269円

タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用

タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用:私たちの目標はショッピングをシンプルにすることです。そのため、検索を絞り込み、購入者の反省を避けるために、常に更新されるトップピックリスト、購入ガイド、インタラクティブな商品検索機能を提供しています。 家族から希望で購入。無事に到着したようですー。 高級,激安大特価!,福袋タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用

Welcome!

mako

蝶野 まこ

ちょうの まこ
執筆・発信担当(イラスト : しろねこ 様)
tex2e

@tex2e

てふ
実装・技術検証担当(中の人)


フルスクラッチでTLS 1.3プロトコルスタックを自作できるエンジニア (仮)



趣味はプログラミング。暗号技術やプロトコルが好き。SELinuxも好き。お気に入りの言語はPython。ときどきJavaScript。セキュリティキャンプではRFC読みながらTLS 1.3の鍵共有とパケット暗号化を実装するゼミに参加。学生時代はLinux縛りプレイだったが、会社ではWindows縛りプレイをしている。

Skills








浴室のガンコな汚れ、湯アカなどの汚れをスッキリ落とす、コシのあるバスブラシです。
ポリプロピレンの先割れ毛が、空気を含んで洗剤をたっぷり泡立たせ、タイル床や目地などの汚れをしっかり落とします。
毛の先端までしっかり力がかかる構造で洗いにくい浴室のコーナーやフチにもフィットして汚れを落とします。

【素材】本体:ポリプロピレン、毛:ポリプロピレン(先割れ)
【サイズ】W11.5×D7.8×H15(cm)
【重量】134g
【耐熱温度】約90℃

※塗装部やプラスチック部分など、キズつきやすいものには使用しないでください。

好きなプログラミング言語や、資格、活動内容について紹介します。


Languages


Ruby

全てがオブジェクト。Classクラスの親がModuleクラスで、その親がObjectクラスで、さらにその親がBasicObjectクラスで、BasicObjectのシングルトンの親クラスはClassクラスということから、クラスもオブジェクトだと気づかせる唯一の言語。

Elixir

Erlangの癖の強い構文をRuby風にした言語。RubyのメタプログラミングがRailsに活かされたように、Elixirのmacroによるメタプロがあれば次世代のフレームワークがやって来ると思っていたが、人類に関数型言語は早すぎたのだと思っている。

Python

Python2から3への移行に大変苦労した言語。今でもネットの海にはPython2のコードがあり、2to3で変換してみるも、ライブラリがないだの、Python2対応pipがないだの、今なお苦しめられている。頼むからPython2は安らかに眠ってください、と願って止まない。

C#

UnityでC#を使っていたので思い入れのある言語。Windows環境ではC#が素晴らしい、のではなく .NET Framework が偉大なのだと思う。PowerShellから呼び出せる点がとてもよい。PowerShellをよりPowerfulにしている。PowerShell万歳!(C#も万歳!)

Bash

履修すべき言語No.1。Linuxといえば大抵はBash。Bashを笑う者はBashに泣く。コンソール上での自動化の最強の味方。GNU拡張の有無で時々発狂しそうになる (GNU is not Unix)。teeコマンドとtreeコマンドを打ち間違えないようにするのが最近の目標。


Certifications


2019/6/21 情報処理安全確保支援士試験合格 (未登録)
2021/5/2 CompTIA Security+ SY0-501 (2021/5/2-2024/5/2)
2021/6/25 応用情報技術者試験合格
2022/2/8 CISSP認定試験合格 (ISC2 準会員)

Activities


送料無料 ミキモト ダイヤ0.58ct ユニセックス Pt950プラチナ リング・指輪 11号 Aランク MIKIMOTO 中古 銀蔵 【最大1万円OFFクーポン★4日20時~】【SALE限定10%OFF★4日20時~】MIKIMOTO ミキモト ダイヤ0.58ct 11号 ユニセックス Pt950プラチナ リング・指輪 Aランク 中古 銀蔵カプリ 春夏 Tシャツ 刺繍 アップリケ ペンギン 紳士服 大きいサイズ 50%OFF メンズ ネイビー CAPRI<カプリ>20新作/春夏/50%OFF/ペンギンDS Tシャツ/46・48・50 サイズ/白系・紺系/綿100%/シシュウ&アップリケ/人気モデル【サラミ】 フエ カリダ エクストラ140gアルガル社(サラミ)【賞味期限2022.4.3】【クール便配送限定】スペイン産白カビサラミのワインおつまみ昔から変わらない、手作業で作る 【ふるさと納税】KA-05 鮎の甘露煮オーバーオール パンツ カジュアル ジーンズ ロングパンツ 子供服 無地シンプル カジュアル 合わせやすい オーバーオール パンツ カジュアル ジーンズ ロングパンツ 子供服 ジーンズ デニム オーバーオール オールインワン パンツ 無地シンプル カジュアル 合わせやすい カジュアル 女の子 80cm 90cm 100cm 110cm 120cm 130cm!大特価販売中! WAKO'S 【ワコーズ】 TR 【トリプルアール】【1L】 4サイクルレーシングオイル 【E280/E290/E320】【閉店セール・通常389円のところ全商品半額・売切次第終了】 【E02】ペア誠根付 ●【033】ルイ ヴィトン モノグラム キーポルバンドリエール50 M41416 ボストンバッグ バッグ LV 0194 【中古】 LOUIS VUITTON メンズ
送料無料 シャネル 2WAYショルダーバッグ 青 ゴールド金具 レディース キャビアスキン ハンドバッグ ABランク CHANEL 中古 銀蔵 【最大1万円OFFクーポン★4日20時~】CHANEL シャネル 2WAYショルダーバッグ 青 ゴールド金具 レディース キャビアスキン ハンドバッグ ABランク 中古 銀蔵
ガルバス メンズ セーター 大きいサイズ 黒 白 紳士服 ジャガード 秋冬 大きいサイズ GARBASUS<ガルバス>秋冬/35%OFF/デザイン セーター/LL・L・M サイズ/白系・黒系/日本製/大きいサイズ/毛100%/現品限り
【イタリア】赤ワイン ラツィオ プリミティーヴォ ディ マンドゥーリア ポッジョ レ ヴォルピ(赤ワイン イタリア)
【ふるさと納税】KI-15 まぐろ漬け丼食べ比べセット(3種類×2袋)
韓国風 フィッシャーマンズハット レディース 夏季 日よけを防ぐ 帽子 おしゃれ コーデ 無地 シンプル 紫外線対策 韓国風 フィッシャーマンズハット レディース 夏季 日よけを防ぐ 帽子 おしゃれ コーデ 無地 シンプル レディース 大人カジュアル 日を遮る 日よけ帽 アウトドア 紫外線対策【送料無料】複数の色で選択可能
!直輸入大特価販売中! GIVI 【SR3112】 リアラックフィッティング (V-STROM650 17) (デイトナ 96729 同等品)
【閉店セール・通常330円のところ全商品半額・売切次第終了】 【B01】京都名所丸銅キーホルダー【配送方法・メール便を選択すれば・送料132円】【024】
シャネル スエード ブラウン 3番台 ゴールドチェーン ウォレット ヴィンテージ ショルダーバッグ ココマーク バッグ 財布 茶 0194 【中古】 CHANEL スウェード
【ヴィノス 97+点】 セリタス カベルネ ソーヴィニヨン ピーター マーティン レイ ヴィンヤード 2016 マグナム 1500ml 生産者蔵出し ミスラベル(容量表記間違い) Ceritas Cabernet Sauvignon Peter Martin Ray Vineyard アメリカ カリフォルニア 赤ワイン[のこり1本]JEEP BULUO メンズ ボディバッグ ショルダー JEEP BULUO 高級海外人気トップブランド 男性 メンズ ボディバッグ ショルダー 色選択可! 2018-1【ふるさと納税】【令和3年産】米・食味分析鑑定コンクール金賞受賞生産者が作る つや姫5kg(有機JAS)【精米】F20B-164当社本社工場(つくば)で製造しています。ケーブル自体も岡野電線(古河電気工業グループ)製 日本製ケーブルを採用しています。 日本製LANケーブル NOEX つくば工場製造 O5e-UA73 73m 単線 カテゴリ5e 岡野電線製OKTP-E5-0.5X4P日本製ケーブル採用 CAT5e 日本製 国内製 爪折れ防止付き 1Gbps 1000BASE-T 100BASE-TX 10BASE-Tレディース バッグバッグ 大容量 撥水加工 レザー 【送料無料】 リュック レディース 本革 レザー 3way リュック ショルダーバッグ 女性用 おしゃれ 大人 手提げバッグ 撥水 通学 撥水 メッシュ サブバッグ ベビーカーフック 通勤 大容量洗える 遮光 カラー 3色 オーダーカーテン SINCOL/ カーテン オーダー オーダーメイド 遮光1級 2級 上品 グレー ブラウン ボーダー 縞 凹凸 カフェカーテン 出窓 おしゃれ abita 日本製 スーパーセールポイント最大38倍&500円クーポン★オーダーカーテン シンコール【アプト AZ-4361-4363】洗える 遮光 カラー 3色 /カーテン オーダー オーダーメイド 遮光カーテン 遮光 カーテン ドレープ ナチュラル ボーダー カフェカーテン 出窓 おしゃれ アビタ 日本製1/24 フジミ 頭文字D プラモデルAE86 トレノ前期型1600GT藤原 拓海TEDMAN テッドマン ANCH CRASH別注 カスタムver.RED 赤版 ジーンズ パンツ 伍号 チェーン刺繍入 スーパーSALE期間中ポイントMAX15倍!【あす楽対応】ANCH CRASH別注 テッドマン TEDMAN デニム カスタムver.RED 赤版 DEVIL-005 定番 メンズ(RCA) ※裾上げ不可 エフ商会
【パーカーポイント 96点】 シャトー ド ボーカステル オマージュ ア ジャック ペラン 1995 Chateau de Beaucastel Hommage a Jacques Perrin フランス ローヌ 赤ワイン【スーパーSALE★特別価格】
分厚いシルエットのチャンキーミディアムフープピアス 【翌日配送可能】MISSOMA ミッソマ チャビーミディアムフープピアス 18Kゴールドプレート/ gold chubby medium hoop earringsインフルエンサー ファッショニスタ UKセレブ インスタ トレンド イギリス ジュエリー アクセサリー プレゼント ギフト ラッピング
寺院用見台・過去帳台(本ケヤキ製)1尺8寸(幅54cm)本ケヤキを使用した堅牢な見台です。 寺院用見台・過去帳台(本ケヤキ製)1尺8寸(幅54cm)
在庫処分特価! MPZ1608S101A-T TDK Corporation 100 Ohms @ 100MHz 1 電源ライン フェライトビーズおよびチップ 0603(1608メートル法) 3A 30ミリオーム 電子部品 在庫処分特価!
トートバッグ大容量 帆布 ハンドバッグレディースメンズ ショルダーバッグ キャンバス おしゃれスクエア トートバッグバッグ大きめレディースキャンバス布大学生カジュアルシンプルエコバッグ通勤通学 軽量 軽いカジュアル A4ブランド無地
洗える カラー 2色 オーダーカーテン SINCOL/ カーテン オーダー オーダーメイド トランプ ストライプ 縞 子供部屋 カフェカーテン 出窓 おしゃれ abita 日本製 スーパーセールポイント最大38倍&500円クーポン★オーダーカーテン シンコール【アリス AZ-4148-4149】洗える カラー 2色 /カーテン オーダー オーダーメイド カーテン ドレープ クローバー スペード ハートダイヤ ストライプ ガーリー アビタ 日本製
1/24 フジミ プラモデル日産 R32 スカイラインGT-R カーネームプレート付
スーパーSALE期間中ポイントMAX15倍!在庫限りセール SALE 10%off 粋狂 スイキョウ 花咲か爺さん 和柄 半袖 Tシャツ SYT-171 エフ商会 和米カジ ご奉仕品の為返品交換不可【メール便送料無料】※ポスト投函の為、日時指定・代引き・営業所留め・ラッピング不可
2017/5 SECCON Beginners 2017 長野 (参加)
2018/3 SECCON Beginners CTF 2018 (参加)
2018/7 Micro Hardening v1.x@長野 2018/07/21 (参加)
2018/8 セキュリティ・キャンプ全国大会2018 X標準ゼミトラック TLS 1.3/暗号ゼミ (参加)
2018/9 情報セキュリティ人材育成事業K-SEC 2018 in 小山高専 (参加)
2018/10 長期インターンシップにて Cyber Range 環境の作成
2019/3 セキュリティキャンプ修了生向けIPAワークショップ「攻防型CTFによるWebオンラインゲームのチート行為の体験 リバイス版」(参加)
2019/8 セキュリティ・キャンプ全国大会2019 X標準ゼミトラック 暗号化通信ゼミ (チューター, LT発表)
  LT発表 : N日でできる! TLS 1.3自作入門
2019/10 ASDoQ (システム開発文書品質研究会) 大会2019 (ポスター発表 審査員特別賞 受賞)
2020/3 Micro Hardening v2 2020/03/21 @オンライン (参加)
2020/10 セキュリティ・キャンプ全国大会2020オンライン L暗号ファジングトラック 暗号解読チャレンジゼミ (チューター, LT発表)
  LT発表 : プロトコルの形式的安全性検証ツール ProVerif
2021/5 Micro Hardening v2 2021/5/4@オンライン (参加)
2021/8 セキュリティ・キャンプ全国大会2021オンライン L暗号数理実装トラック 暗号の脆弱性や攻撃手法を理解して説明しようゼミ (チューター, LT発表)
  LT発表 : マイナンバーカードで署名する
2021/8 Hardening Drivers Conference 2021 - /dev/hardening (参加)
2021/11 Hardening 2021 Active Fault (Team#8参加, 4位/全11チーム, スポンサー(KDL)賞 受賞)
2021/12 社内CTF競技会「LACCON」 (TLS 1.3に関する問題の作問者)
2022/1 WASNight 2022 Kick-Off = OWASP x WASForum Night (Hardening Session 発表者)
  発表資料 : SELinuxで堅牢化する

Works

今まで作ってきた作品や技術検証などのまとめです。 興味・関心分野については 晴耕雨読 をご覧ください。




Ecoris

View on GitHub

「Ecoris」は高専3年生の高専祭(工嶺祭)のクラス企画で展示した LeapMotion で行う3Dテトリス。Ecoris は 3Dテトリス + エコ に由来し、手の動きを利用して缶ブロックを潰したり、生ごみブロックを振って小さくしながら遊ぶテトリス。このプログラム(C#)部分を担当し、工嶺祭の「学生会長賞」を勝ち取った。使用環境は Unity + C#

Recursive Tree Renderer

View on GitHub | Visit Website

「Recursive Tree Renderer」は、ランダム性を有する再帰木を描画するツール。作成した再帰木は、背景を無色透明で保存することができる。再描画ごとにランダムな樹形が描かれるので、美形が出るまで何回も描画させたり、各パラメータを変更しつつ遊んでもらえると嬉しいです。使用環境は JavaScript + p5.js

ruNNing AWay

View on GitHub

タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用

color-name

View on GitHub | Visit Website

「色の名は。」は HTML5 で追加された Input Color を使って色を選択し、その色に最も近い色のトップ10の名前を表示する。まだ会ったことのない色を、探しているあなたのために。ブラウザやOSの環境によって Input Color の挙動が異なるので、PC の Firefox からアクセスして遊ぶのがオススメです。使用環境は JavaScript

puzzdemic

View on GitHub | Visit Website

「Puzzdemic」は高専5年生の高専祭(工嶺祭)のクラス企画で展示した、パズルでワクチンを作って世界を救うゲーム。2048というパズルゲームにPandemic (ボードゲーム) の協力型プレイとパンデミック要素を加えたもの。産業フェアの長野高専のブースの展示にも使われた。最新のChrome推奨。キーボードで遊ぶときはWASDと矢印キーを使ってください。使用環境は JavaScript + D3 + イベント駆動

yorusai-entrance

View on GitHub

「5031 yorusai entrance」は学生証のバーコードによる夜祭の入場管理と抽選を行うシステム。@nobuyoとの共同制作。工嶺祭(こうれいさい)を数字に置き換えると 5031 になるところが名前の由来である。もともと、学外の人の入場問題と抽選で当選した学籍番号の人が会場にいない問題を解決するために作られた。2017年の工嶺祭夜祭でこのシステムが実際に稼働した。使用環境は Ruby on Rails

nnct-cancel-info

View on GitHub

「NnctClassInfo」は長野高専の補講情報のページから休講・補講情報を取得するAPI群を提供するサービス。以前は休講・補講日の前日になるとメールを送信するようにしていたが、今ではクラスのSlackに休講・補講情報を流すようにしている。私が高専本科を卒業するまで稼働していた。使用環境は Rails + GoogleAppScript + Slack

word-roots

View on GitHub

「word-roots」は英単語の語源を調べるためのコマンド。例えば colloquium(研究会)という単語を見たときに語源 loqu(話す)を発見するのは結構難しいので、それならプログラムで調べようと思って作ったもの。単語によっては間違った語源を抽出してしまうので悪しからず。ツリー構造の様に表示するのはtreeコマンドを自作したとき以来のこだわり。使用環境は Python

latex2pptx

View on GitHub

「latex2pptx」は LaTeX によって作られた PDF スライドと、テキストファイルに書いたノートから、パワーポイントを作成するためのコマンド及び環境のこと。卒業研究発表会ではこれを使って発表に臨んだ。作成した理由は主に、TikZで書いた図をスライドの方でも使い回したかったのと、数式を示す必要があったからである。使用環境は Python + python-pptx + ImageMagick + LaTeX Beamer

lifegame

View on GitHub

「Lifegame」は私が知っている言語でライフゲームを実装したものを集めたレポジトリ。何種類の言語を使えるかを説明するために作っていたが、LaTeXでライフゲームを作ったあたりで既に満足してしまっている。使用言語は c, java, lisp, python, ruby, js, go, perl, php, scala, erlang, elixir, c#, f#, swift, verilog, bash, awk, latex, ...

auto-sushiDA

View on Blog

「Auto-SushiDA」はGUIオートメーションと画像認識と光学文字認識で、タイピングゲーム「寿司打」を自動化したもの。自動化によって聞こえるサウンドエフェクトはとてもリズミカルで心地良い。99皿以上食べるとカウントが00皿に戻るが、スコアには反映されている。使用環境は Python + PyAutoGUI + PyOCR + Tesseract

rfc-translater

View on GitHub | Visit Website

「RFC Translater」はRFCを翻訳するためのツール群と、それによって翻訳したRFCのサイトのこと。原文と翻訳文を並べて読みたいのと、RFCの本文は改行されていて改行を除去した上でGoogle翻訳に渡さないと適切な訳が得られない煩わしさを解決するために作成した。使用環境は Python + Selenium など

AHKManager

View on GitHub

「AHK Manager」は作業の一部を自動化するために作成したツール。特定の作業(データ入力やテストなど)をするときだけAHKのショートカットを有効にできて、AHKファイルを修正しないでショートカットの割り当てを変更できればいいな、という訳で自分のために作ったもの。使用環境は AutoHotkey

REPO

View on GitHub | Visit Website

「Reverse Shell Generator」はペネトレーションテストでリバースシェル接続をするときに、環境によって待ち受けIPとPortを変える手間と、侵入先の環境にインストールされているコマンドがわからない状態で全てのコマンドを試す手間を省くために作ったもの。使用環境は JavaScript

Miscellaneous


技術系ブログ (Jekyll + GitHub Pages) 晴耕雨読 (Web)
二次方程式の解計算ツール quadratic-formula (Web) | GitHub
サトクリフの五角形 描画ツール Sutcliffe Pentagons (Web) | GitHub
長野市の保育園の一覧 (Google Mapの練習, 2015年) Nagano Open Data (Web) | GitHub
コード内コメント検索サイト Search Comments (Web) | GitHub
ブラウザでテキストエディタ BrowserEditor (Web) | GitHub
英和和英辞典として使えるアプリ (Electron + AngularJS) ejjedict (GitHub)
LaTeX 文章の構造を解析し、JSON 形式に変換するプログラム yalp (GitHub)
ターミナル版 六目並べ(コネクト6) Rokumoku (GitHub)
高専3年のときに多倍長演算の授業で作成したプログラム群 Integer (GitHub)
レポート提出時のLaTeXの構造や内容をチェックするツール latex-test (GitHub)
MeCabのElixir向けバインディング mecab-elixir (GitHub)
MacOS向け改良(改造)版のStegsolve stegsolve-macos (GitHub)
マルコフ連鎖による文章の自動生成 markov-chain-sentence-generator (GitHub)
OpenCVでサイゼリアの間違い探しを解くツール saizeriya-spot-the-difference (GitHub)
研究室の自動開錠システムに関するプログラム群 auto-door-unlock (GitHub) | 解説記事
TLS 1.3のPython実装 (鍵共有とパケット暗号化のみ) mako-tls13 (GitHub)
楕円曲線のCurve25519とCurve448を使ったDiffie-Hellman鍵交換のPython実装 elliptic-curves (GitHub)
AEAD暗号のChaCha20-Poly1305のPython実装 chacha20-poly1305 (GitHub) | 解説記事
NewHope (RingLWE問題) 解説記事
耐量子計算機暗号である(Ring-)LWEによる鍵共有 LWE解説記事 | Ring-LWE解説記事
ルービックキューブを使った暗号系のPython実装 Rubik's-Crypto-Cube (GitHub)
WPA3の技術調査とProVerifによるWPA3プロトコルの検証 WPA3解説記事 | 形式的安全性検証解説記事
C言語によるAESの実装とMixColumnsの解説 AES実装 | MixColumns解説記事
ヴェイユペアリングとその応用 Weil-Pairing解説記事
加法準同型暗号による電子投票 Paillier暗号と電子投票の解説記事
WebAssemblyでC言語で実装したAES暗号を動かす webassembly-aes (GitHub)
数字認識モデルと数独ソルバーを組み合わせたツール sudoku-solver-with-opencv (GitHub)
ユーザ認証付きチャット (WebSocket + OAuth 2.0 + Golang) test-server-oauth2 (GitHub)
過去問道場のサイトで広告ブロック検知を回避しつつ広告を非表示にするChrome拡張 my-ad-blocker (非公開)
RFCからASCIIアート図を集めたサイト RFC Figures (Web)
マイナンバーカードとAPDUで通信して署名データ作成 解説記事
audit.log のログのUNIX時間を整形するツール Unixtime2Datetime (Web) | GitHub

Learned Languages


今まで勉強したことがある言語の一覧を散布図で表しました。横軸が開発スピードを、縦軸が好みの度合いを、円の大きさは言語の使用頻度を表しています。全て主観的な判定基準に基づいています。


Contact


GitHub Twitter

タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用

タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用:私たちの目標はショッピングをシンプルにすることです。そのため、検索を絞り込み、購入者の反省を避けるために、常に更新されるトップピックリスト、購入ガイド、インタラクティブな商品検索機能を提供しています。 家族から希望で購入。無事に到着したようですー。 高級,激安大特価!,福袋タイル床のカドまでしっかりゴシゴシ!ポリプロピレンの先割れ毛が浴室の床や壁のタイル目地までピカピカにみがきます。 ≪特別価格≫角効くバスブラシ タイル床・目地用