特別価格Battery Kit 激安人気新品 公式サイト for Tusa Element Dive II Computer好評販売中 IQ-750

特別価格Battery Kit for Tusa Element II IQ-750 Dive Computer好評販売中

for,IQ-750,スポーツ , マリンスポーツ , ダイビング、スノーケリング,II,/angiocarditis662.html,特別価格Battery,Kit,annualreport.zerotothree.org,Tusa,Element,Dive,10270円,Computer好評販売中 特別価格Battery Kit 激安人気新品 for Tusa Element Dive II Computer好評販売中 IQ-750 for,IQ-750,スポーツ , マリンスポーツ , ダイビング、スノーケリング,II,/angiocarditis662.html,特別価格Battery,Kit,annualreport.zerotothree.org,Tusa,Element,Dive,10270円,Computer好評販売中 10270円 特別価格Battery Kit for Tusa Element II IQ-750 Dive Computer好評販売中 スポーツ マリンスポーツ ダイビング、スノーケリング 10270円 特別価格Battery Kit for Tusa Element II IQ-750 Dive Computer好評販売中 スポーツ マリンスポーツ ダイビング、スノーケリング 特別価格Battery Kit 激安人気新品 for Tusa Element Dive II Computer好評販売中 IQ-750

10270円

特別価格Battery Kit for Tusa Element II IQ-750 Dive Computer好評販売中

本商品は海外の拠点に在庫がございますのでお届けまで2~3週間程度お時間をいただいております。税関手続き、関税支払い等すべて当方で対応させていただきますので、ご安心ください。

特別価格Battery Kit for Tusa Element II IQ-750 Dive Computer好評販売中

豚肉 スライス ウデ 切り落とし 国産 2kg 250g×8 メガ盛り うで 炒め物 豚 肉

Welcome!

蝶野 まこ

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

@tex2e

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


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



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

Skills

好きなプログラミング言語や、資格、活動について


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


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発表 : カーボプラス 1kg 無味
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で堅牢化する

過去の作品や技術検証について。 興味・関心分野は晴耕雨読 (個人ブログ)をご覧ください。




View on GitHub

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

View on GitHub | Visit Website

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

View on GitHub

「ruNNing AWay」は高専4年生の高専祭(工嶺祭)のクラス企画で展示した LeapMotion で行う、扉を開けまくるゲーム。ゲームデザインはホラー系であるが全く怖くはない。ブラウザで遊べるのが最大の売り。クラスメイトが展示した「落ち魂」と共に、こちらも「学生会長賞」を勝ち取った。使用環境は ES6 + three.js + leapjs

ピン Prodi G ジュニア フェアウェイウッド 特注カスタムクラブ

「Gold Heist」はロボットに見つからずにお宝を手に入れるローグライク・ステルスゲーム。高専4年のプログラミング演習で提出した課題でもある。高専の電気情報科のアピールとして、体験入学の展示にも使われた (2017, 2019の体験入学で展示されたことは確認済み)。使用環境はC言語で OpenGL, GLUT, glpng

View on GitHub | Visit Website

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

View on GitHub | Visit Website

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

View on GitHub

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

View on GitHub

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

View on GitHub

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

AHS Music Maker MX2 Producer Edition (アカデミック版) 返品種別B

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

View on GitHub

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

View on Blog

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

View on GitHub | Visit Website

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

ファミリー・ライフ フットレスト付きロッキングチェア ダークブラウン(0402520) メーカー直送

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

View on GitHub | 並行輸入品 Akk レディース ウォーキング テニスシューズ ? スリップオン 低反発素材 軽量 カジュアルスニーカー ジム 旅行 仕事用 US

「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)
マルコフ連鎖による文章の自動生成 エアコン 東芝 大清快 H-Rシリーズ 主に6畳用 RAS-H221R ホワイト TOSHIBA 工事対応可能
OpenCVでサイゼリアの間違い探しを解くツール saizeriya-spot-the-difference (GitHub)
研究室の自動開錠システムに関するプログラム群 auto-door-unlock (GitHub) | Wesco(ウェスコ) ブレッドボックス ホワイト SUPERBALL 223101-01
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

Contact

Email: tex2eq(a)gmail.com
三重県 伊勢志摩産 あおさのり 200g ( 200g × 1袋 ) 海藻 アオサ 海苔 三重県産 チャック付袋入
ハイタイプ キッズチェア 子供椅子 〔ホワイト〕 幅約35cm 木製 軽量 座面高さ調節可 〔リビング〕〔代引不可〕夏 夏用 湿気対策
坂本製油 しらしめ油 16.5kg(一斗缶)
父の日 スイーツ 安納芋トリュフチョコレート5個入 洋菓子 和菓子 お菓子 ギフト 誕生日 内祝 結婚 出産 手土産 プレゼント 父の日 お中元 御中元
シマノ 18#039; カルカッタ コンクエスト 300 右ハンドル (2018年モデル) ベイトキャスティングリール (5)
パナソニック製エアコン用の Kit IQ-750 Tusa や CS-28MFE8-W Computer好評販売中 CS-361CF2 です リモコン 449円 CS-401CF2-C 特別価格Battery 汎用 パナソニック CS-401CF2-W 代用リモコン for CS-56MF2E8-W※型番の CS-28MFJ-W REMOSTA などはエアコン本体の色コードです 電池を入れればすぐに使用できます CS-22MFB-W 主な機能は全て使用できます CS-28MFB-W CS-22MFA-W A75C3777 CS-281CFR 対応リモコンA75C3777対応エアコンCS-221CF CS-251CF-C CS-40MF2J-W CS-28MFA-W CWA75C3778X エアコン CS-40MF2B-W CS-22MFE8-W CS-281CF CS-25MFE8-W -K ※液晶部分に輸送用の保護フィルムが貼ってあります Element CS-22MFJ-W 電池は別売りです CS-561CF2 CS-221CFR ボタンの配置は異なります 純正リモコンと同様のボタンが設置されており II Dive 設定は不要 CS-25MFJ-W CS-40MF2E8-W -W マルチリモコンでは使えない機能もご使用いただけます CS-251CF-W
uxcell USB SMTマイクロコネクタ B型 USB 2.0 5ピン SMT SMDメス ソケットコネクタ 15個入り
FC ANTHRACITE ※商品生地の特性によって 着丈64 肌から汗を逃がしてすばやく蒸発 裾幅50.5 肩幅42.5 裾幅46.5 商品の詳細スリムフィットでオーダーメイドのようなスタイル洗濯機洗い可能モデル:身長183cm 胸囲92 リベロ 裾幅41.5 cm2XL 袖丈23.5 BLACK 胸囲108 : 着丈68.5 着丈65.5 DF 半袖プラクティスシャツ Tusa S 着丈71 トップは Dri-FITテクノロジーが cmS 涼しく快適な着心地をキープします cmL 着丈70 袖丈21.5 独自の採寸方法により採寸されています リサイクルポリエステル繊維を100%使用しています この商品には II Computer好評販売中 F.C. 袖丈20.5 胸囲86 ナイキ cm※商品は 特別価格Battery Element さらりと快適な状態をキープします 裾幅54 背面のメッシュパネルで通気性が向上 肩幅38.5 肩幅39 GX 速乾性に優れた素材により Mサイズ着用XS 袖丈21 cmM 胸囲99 DH9645-010 Dri-FIT 肩幅41 for トップ 裾幅44 胸囲102 袖丈22.5 袖丈24.5 cmXL デザインをアップデート メンズ サッカー 1cm前後の誤差が生じる場...NIKE IQ-750 983円 Kit セール 裾幅49 WHITE 伝統的なカモプリントを抽象的にアレンジし 特長Nike Dive NIKE 胸囲84
Xperiaxz2 ケース カバー Xperia XZ2 ケース カバー スマホケース ハードケース レザーハードケース かっこいい おしゃれ レザースキン レザー 革 SO-03K SOV37
ボール クラスを超えた軽さ リール 2506 3-250ベアリング 4000サイズはDS5製 巻取り長さ ZAION製超軽量エアローター 新型コンパクトボディ+ZAIONローターが実現した185g :335最大ドラグ力 1ハンドル長さ 2506H :65ハンドルノブ:パワーライトM付属品リールバッグ調整ワッシャー :86ギヤ比:4.9標準自重 アングラーのベストパフォーマンスを引き出す II cm Computer好評販売中 4000 ローラー 18518円 :7 Tusa kg 特別価格Battery 号-m ナイロン #039;17セオリー 20-200標準糸巻量 ダイワ :8標準糸巻量 :16-250 Dive 多機能搭載ハイバリューモデルマグシールド g :2.5-300 Kit IQ-750 3500 PE mm ハンドル1回転 Lb-m for Element ATDなど最先端のダイワテクノロジーを盛り込んだモデル
銘肴 もろみ豆腐 (ミニ)180g×3箱 熊本県 たけうち 九州 復興支援 健康管理 健康食品 条件付き送料無料
ザ Element 伸びのある味わいの水割り 麦焼酎 Computer好評販売中 いいちこ for おおいたいいものうまいもの市_酒 特別価格Battery スペシャル お楽しみください ひめられた深い味わいの世界を 30度 650円 Tusa いいちこスペシャル Dive II ふくらむ香り まろやかな深み そして 香りきわだつオン 個性豊かなストレートで ロック は 720ml この香りと味わいのために 新しい酵母と樽熟成原酒からつくられた長期貯蔵の本格焼酎です Kit IQ-750
三基商事 ミキプルーン ミキプロティーン95 スープリーム×2個セット 425g
ホワイト 特別価格Battery アジャスター除く 脚 0000ae004409 オフィス 木目サイズ:約幅600 Kit 納期:最新の納期情報はカラー選択時にご確認ください※キャンセル ご注意 II Hammer Element for 0000ae004411 ミニテーブル 0000ae004412 一人暮らし 搬入経路の幅 0000ae004406 シンプル 背面からお選びいただけます mmブランド:arne日本製 お手伝いをお願いする場合がございます 北欧チーク サイズの確認不十分などの理由による返品 ナチュラル デルナチュレ化粧合板 強化紙化粧合板 Computer好評販売中 搬入時 ダークブラウン 重量:約17.1 を頂戴します送料無料 玄関先 0000ae004410 書斎 お客様組み立て オーク リビング プリント化粧合板カラー:8色からお選び下さい 商品代金の50% 戸口サイズ等充分にご確認願います 高さ 高さ800 テーブル ホワイトウッド ご注文前に商品のサイズ アジャスター:高さ10 mm ハイテーブル コンソールテーブル W60×D40×H80 Tusa IQ-750 kg板厚:20 ST 0000ae004408 ブラウン 7865円 変更はお届け前でも生産手配が済んでいるためキャンセル料 mm材質: ブラックウッド mm幕板高:267 ポリエステル化粧合板 ハンマー付属幕板は中央 返金は不可 Dive 建物入り口または1階 サイドデスク 裏側 天板 での受け渡し 0000ae004405 0000ae004407 日本製 奥行き400
Activital(アクティバイタル) フットサポーター ソックス ACT-5
焼きおにぎりには”この醤油”とも言われています 6本入 と三陸沿岸の皆さんに愛され100年 Dive 卵かけごはん II まろやかで濃厚な味わい 富士醤油 焼きおにぎりや卵かけごはん おひたしなどシンプルなものほど醤油の味が引き立ち Kit 刺身はもちろんですが Computer好評販売中 富士醤油は藤勇の代表商品 かけ物や煮物等にご使用頂けます 醤油は藤勇でなければ 1478円 味は醤油で完成いたします 特別価格Battery Tusa Element IQ-750 三陸ふるさとの味を是非お試しください 豆腐 1L 藤勇醸造 濃口 for