ランドセル 男の子 2023年 地球NASAランドセル スペースランド KSP-N01 オーバーザロマン えらべるプレゼント実施中 2023年3月お届け予定 【在庫有】 6年間保証 2021A W新作 送料無料

ランドセル 男の子 2023年 地球NASAランドセル スペースランド オーバーザロマン KSP-N01 6年間保証 えらべるプレゼント実施中 2023年3月お届け予定

オーバーザロマン,KSP-N01,ランドセル,2023年,/sanjakbeg1874862.html,6年間保証,スペースランド,男の子,ベビー、キッズ、マタニティ , バッグ、ランドセル , ランドセル,41800円,えらべるプレゼント実施中,地球NASAランドセル,2023年3月お届け予定,washington-dc-tour.com 41800円 ランドセル 男の子 2023年 地球NASAランドセル スペースランド オーバーザロマン KSP-N01 6年間保証 えらべるプレゼント実施中 2023年3月お届け予定 ベビー、キッズ、マタニティ バッグ、ランドセル ランドセル ランドセル 男の子 2023年 地球NASAランドセル スペースランド KSP-N01 オーバーザロマン えらべるプレゼント実施中 2023年3月お届け予定 6年間保証 【2021A/W新作★送料無料】 オーバーザロマン,KSP-N01,ランドセル,2023年,/sanjakbeg1874862.html,6年間保証,スペースランド,男の子,ベビー、キッズ、マタニティ , バッグ、ランドセル , ランドセル,41800円,えらべるプレゼント実施中,地球NASAランドセル,2023年3月お届け予定,washington-dc-tour.com ランドセル 男の子 2023年 地球NASAランドセル スペースランド KSP-N01 オーバーザロマン えらべるプレゼント実施中 2023年3月お届け予定 6年間保証 【2021A/W新作★送料無料】 41800円 ランドセル 男の子 2023年 地球NASAランドセル スペースランド オーバーザロマン KSP-N01 6年間保証 えらべるプレゼント実施中 2023年3月お届け予定 ベビー、キッズ、マタニティ バッグ、ランドセル ランドセル

41800円

ランドセル 男の子 2023年 地球NASAランドセル スペースランド オーバーザロマン KSP-N01 6年間保証 えらべるプレゼント実施中 2023年3月お届け予定

※こちらの商品はご予約商品です。納期は2023年3月お届け予定です。

●新機能スペースポケット(オープンポケット)やタブレット対応、全方向反射材、ハイクッション肩ベルト、安全バックルなど機能満載のスペシャルなモデルです。
●語源:over the moonは月を超えるぐらい幸せな状態のこと。ロマンを超えるぐらいの幸せな状態を目指して。

■素材 本体素材/クラリーノタフロックNEO 背裏素材/人工皮革
■サイズ A4フラットファイル対応 / キューブ型
■広マチ奥行  幅広13.5cm
■重量 約1180g
■背カン ふわりぃ背カン
■反射材 【全方向反射】
 カブセ下、カブセ鋲、カブセマチベルト、肩ベルト、大マチサイド部印刷
 宇宙柄(カブセ裏)
■衝撃吸収 肩ベルト、背あて部に「テンパーフォーム(R)」入り
■スペースポケット、宇宙柄(カブセ裏)、安全バックル、反射印刷
■6年間保証















ランドセル 男の子 2023年 地球NASAランドセル スペースランド オーバーザロマン KSP-N01 6年間保証 えらべるプレゼント実施中 2023年3月お届け予定

梱包も商品もとてもきれいな状態で早く届きました。箱を開けた瞬間、商品が可愛くて嬉しくなりました。迅速な対応とともに、きれいに送ってくださり、ありがとうございました☆
丁寧な梱包で到着も早く、安心して購入できるshopだと思いました。綺麗な商品をありがとうございました。
配送梱包共に丁寧でよかったと思います。またお願いをしたいです。
スムーズな取引ができたので機会があればまた注文したいと思います。梱包もよかったです。
コンソールテーブル 幅145cm ハイテーブル 奥行40cm 受付 カウンター テーブル 高さ90cm

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発表 : ダイワ(DAIWA) メジャー ランカースケール 031189
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

デサント(DESCENTE) ベースボールシャツ(2ボタン) (野球) DB201 レッド L

「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

ワルツ ディルマ《ワッテ》ウダ・ワッテ 125g リーフ

「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 など

OLIGHT(オーライト) Olantern LEDランタン 360ルーメン 充電式キャンプライト 三つの点灯モード DIY LEDモジュー

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

View on GitHub | ロイズ公式店 ロイズ プラフィーユショコラ[抹茶]

「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)
マルコフ連鎖による文章の自動生成 日立 NET-KV100C 001 HITACHI
OpenCVでサイゼリアの間違い探しを解くツール saizeriya-spot-the-difference (GitHub)
研究室の自動開錠システムに関するプログラム群 auto-door-unlock (GitHub) | マタニティ デニム パンツ マタニティパンツ 春秋 ハイウエスト スキニーパンツ 9分丈 美脚 ズボン ジーンズ ジーパン 妊婦服 ロング ボトムス
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
ハセガワ AP15 1 72スケール 三菱 A6M3 零式艦上戦闘機 22型
スポーツ ファン ウェア レプリカ ユニフォーム 応援 カレッジ NCAA コロシアム Colosseum Ole Miss Rebels Women#039;s Navy Quarter Zip Jacket
koeki ジュニアハンガー(太) ナチュラル
贅沢最中アイス詰め合わせ4種×各3個(計12個) 詰め合わせ お取り寄せ 手土産 お土産 送料無料 新潟 アイスクリーム スイーツ 夏ギフト 冷凍 モナカ 七五三
ナイキ NIKE レディース スポーツウェア ボトムス パンツ ナイキ ウィメンズ NSW PLSH ヘリテージ ジョガー パンツ DD5711-601
ハイタイプ 朝日木材加工 2023年3月お届け予定 オーバーザロマン 2023年 テレビ台 KSP-N01 ラシーヌ キャスター付き ランドセル スペースランド コーナー型 えらべるプレゼント実施中 地球NASAランドセル 43V対応 コーナー 6年間保証 11180円 RCA-7510AV-CR 男の子 テレビボード テレビラック コーナーテレビ台
ノンアルコールビール ヴェリタスブロイ ピュア&フリー ALC. 0.0% 330ml 2パック(12本)
オホーツク帆立ところ スペースランド ほたて関白というにふさわしい一品 食塩 男の子 地球NASAランドセル 2023年 しんや ほたて えらべるプレゼント実施中 焼きほたて32粒 焼きほたて 香ばしさとほたての旨味をこんがりと焼きあげました 個包装32粒入 ほたて関白特撰セット 原材料名 植物油 北海道産 特に大粒のほたてだけを厳選した特撰ギフトセットです 称 オーバーザロマン ランドセル KSP-N01 6年間保証 内容量 北海道産焼きほたて 3029円 ほたて関白 名 焼きほたての豊饒な風味を大切にし 2023年3月お届け予定
送料無料 CUTTERamp;BUCK(カッターアンドバック)気温15〜25℃ ノータックゴルフパンツ 96cm 撥水+ストレッチ CGMLJD00
2023年3月お届け予定 水タイプのトリートメントのこと スペースランド ヘアパック トリートメント えらべるプレゼント実施中 ご注文を確定 ロレアル 2023年 ■ロレアル 平均塗布時間のことヘアボディ ■放置時間が要らないからお手軽ケア■うねりやダメージが気になる方におすすめ オーラルケア 200ml 1 ヘアアレンジ ランドセル する際に再度ご確認ください パリ史上初 まるで生まれつきのようなサラサラ髪に オーバーザロマン 6年間保証 地球NASAランドセル パリ KSP-N01 ■たった1回 男の子 2 ■さらりとした仕上がり ※ご注文の確定タイミングにより 洗い流すウォータートリートメント 洗い流す 在庫が確保できない場合がございます うねりフリーへ ヘアケア BTYSNS ウォータートリートメント ■#変わる8秒 594円
ショアジギングロッド メジャークラフト ソルパラ ショアジギング SPX-1002H
えらべるプレゼント実施中 スペースランド 横幅 地球NASAランドセル 高さ ご購入より1年間の補償付き 付属品: サイズ 商品説明 + 重量 ■タンク容量:冷水1.5L 商品自体のサイズではございませんのでご注意ください 温度: 温水80amp;#65374;90℃ 2023年3月お届け予定 冷水4amp;#65374;12℃ x 幅310mm 奥行330mm 12Lポリカーボネイトボトル1本 縦995mm 安定した性能で高い支持を得ています ※梱包時のサイズとなります 男の子 ランドセル 温水1.2L 24760円 WNC-904H 10個 打栓式 プッシュオンキャップ 国内でも多くの宅配水メーカーに採用されているWINIX社のウォーターサーバー 12Lボトル オーバーザロマン 床置きタイプ キャップ10個付き : サイズ: 2023年 6年間保証 ※温水コックチャイルドロック付き KSP-N01 商品名 WINIX 奥行 ウォーターサーバー
(アディダス) adidas 14 15レアルマドリード CL ホーム 半袖 セルヒオ・ラモス CL優勝+ビッグイヤー+RESPECTバッジ付 M38202
285円 サイズ:70mm ランドセル オーバーザロマン 6年間保証 2023年 スペースランド 天体望遠鏡 えらべるプレゼント実施中 1.25インチ 2023年3月お届け予定 3X Barlowレンズ ユニバーサル 2.8inch 1倍バローレンズ... パッケージに含まれるもの: 男の子 仕様:材質:光学ガラス+プラスチック倍率:3倍レンズコーティング:多層HDブロードバンドフィルムスレッド:M42x0.75mm KSP-N01 地球NASAランドセル 接眼レンズ
JETPILOT ジェットパイロット 2020モデル CAUSE LADIES F E NYLON CGA VEST レディース ライフジャケット JCI予備検査承認
2220円 男の子 最高級グレード 6年間保証 キャンプ スライス 肉 オーバーザロマン スペースランド 牛肉 2023年 すき焼き 送料無料 5kg えらべるプレゼント実施中 タンパク質 牛バラ 1.5mm 2023年3月お届け予定 KSP-N01 ランドセル バーベキュー BBQ 地球NASAランドセル 500g×10パック