VagrantでOVAファイルを出力するプラグインを作った

vagrantでサクッとVM作れるのはいいんだけど、それを非エンジニアの人と共有したいときova形式で渡すときに、vagrant依存の設定が入っていてだるい。— 暇な女子高専生 (@miettal) 2017年8月24日 ovaを吐いてくれるvagrant plugin誰か作って— 暇な女子高専生 …

JALの機内WiFiサービスにある動画を一括ダウンロードする.

1年前北海道-東京の便に乗ったとき暇だったので書いた. 今年乗ったら,コンテンツがHLSに切り替わっていて,簡単にダウンロードできなくなっていた. 飛行機で暇な時は,こういう遊びをすると時間を潰せて楽しい. gist0df3e33a617d0cf10d0baa2140794220 ↑…

SATySFiがWebで動くやつを作った

Webで動く?→X satysfiコードをPOSTするとサーバでコンパイルしてPDFが返ってくるだけ→O SATySFi Online github.com

Ubuntu 16.04でSATySFi環境構築&コンパイル

2017/02/12時点の情報です. まだSATySFiは絶賛開発途中であり,特に今インストール周りが改善中のようですので,うまくいかない場合はgithubのページを追ってください. ↓ココらへんを参考にした. qiita.com github.com SATySFi 型づけがしっかりしていて…

C:¥windows¥installerの容量が大きすぎる

Cドライブの容量がいっぱいになっていた. ちなみに実家パソコン WinDirStatで見たらC:¥windows¥installerが20GB以上食っていた. Windows Updateのインストーラが入ってるらしい windirstat.net PatchCleanerでWindows Updateのインストーラを削除した. Pa…

httpstatを使ってみた

インストール ubuntu $ sudo apt install python-pip $ sudo pip install httpstat mac $ brew install httpstat 使い方 httpstat http://example.com httpstat --help 所管 httpリクエストを見やすく整形して出力してくれるツール. 内部でcurlを使っている…

近況報告

かろうじて生きています。

cicleciでWarning: Git is not installed in the image. Falling back to CircleCI's native git client but this is still an experiment feature. We highly recommend using an image that has official Git installed. worktree is not clean

circleci 2.0でcheckoutするとタイトルみたいなエラーが出るんだよね。使ってるdocker imageにgitが入っていないので、gitを入れましょ。 apt-get install -y git

circleciでx509: failed to load system roots and no roots provided

circleci 2.0でrestore_cacheやsave_cacheするとタイトルみたいなエラーが出るんだよね。 証明書が古いっぽい?ので更新しましょ。 apt-get install -y ca-certificates

買い切り型VPS CloudAtCostを使ってみた感想

要約 クソ安いけど、障害起きまくりなので、冗長化や自動化の勉強になる。 CloudAtCostって何 Cloud At Cost - You don't have to pay sky high prices to be in the Cloud. カナダの企業のクラウドサービスで、VPSとかWebHostingなどの機能を提供している。…

留年しました

細かいことはオフラインで聞いてください。

近況報告

生きています 来年どうしよう。。。働くか働かないか。。。 最近3Dプリンタ Da Vinci Jr. を買いました。前買った奴は研究室に置いとくようで、これは家用。 最近Windows タブレットを買いました。NECの2万円ぐらいのやつ。 ↑のWindowsタブレットをベッドに…

3Dプリンタを使うときに便利なもの(Kossel mini k800)

マテリアル 3Dプリンター用 フィラメント マテリアル PLA樹脂 材料 1Kg Makerbot / Reprap / UP Plus 3Dプリンター対応 1.75mm径!13色選択可!スプール寸法: 幅163mm、穴径33mm、厚み84mm (ホワイト)出版社/メーカー: WINBOメディア: オフィス用品この商品…

3Dプリンタを買って組み立てた(Kossel mini k800)

最近中国の通販サイトで、組み立てキットの3Dプリンターを買って遊んでいた。 3万円ぐらいで、この精度だったらありかなぁという感じ。 買った3Dプリンタ。aliexpressというalibabaが親会社の通販サイトで買った。 いわゆるデルタ型の3Dプリンタで、リニアガ…

レシートの画像を矩形補正してOCRにかけてみた。

レシートの写真撮ったらツイッターに何買ったかパーンって勝手に投稿されるやつおもしろいかなーとか思って適当にやった。 もう飽きたので特に頑張る気は無い。 これ活用した→ python/OpenCVでレシートみたいな四角いものを見つけてトリミングする - BlankTa…

2015年を振り返って

1月 単位が足りなくて卒業できず、退学が確定した。 2月 卒業できなかったので卒業式には出れなかったが、代わりに研究室の後輩が学位授与式をやってくれた。 3月 大学院の入学手続きをした。7年間仲良くした高専の同級生とさようならした。 4月 新しい学校…

スイッチサイエンスPCBへの発注を手助けするpythonスクリプト(KiCad python scripting)を書いた話

KiCad Advent Calendar 2015 6日目の記事です。(遅れてしまいましたが) qiita.com 概要 この間、私がスイッチサイエンスPCBで基板を発注した際、ファイル名を所定書式に変更しzipに固める作業が必要で煩雑だったので、その作業をkicadのpython scripting機…

SECCON 2015 Online CTF writeup

yozakuraというチームで参加した。 6問解いた。 Fragment2 Decode me fragment2.pcap pcapを見てみると、TCPのパケットが1個。 srcportが80なのと、filterの条件がhttp2だったので、wiresharkのdecode as http2をするとhttp2のレスポンスデータが見れる。な…

DCTF 2015 Writeup

yozakuraというチームで参加した。 web200 zipファイルをアップロードすると、展開して個々のファイルをダウンロードできるwebサービス html内に思わせぶりなphpコメントが入っていた。 どうやらdctfユーザーのシェル名を取得してるっぽい。 zipファイルに…

TMCTF 2015 Writeup

cho_ru_ruというチームで @cho_ru_ru @am_yum_ と参加した。 Analysis Others 100 cho_ru_ruがxref tableが壊れていると言っていたので、PDF Stream Dumperで見てみたところ、base64な画像っぽいデータを見つけ、復号化したらjpegファイルになった。 Crypto …

ArmadilloでPHPを使う方法

アットマークテクノ(Atmark Techno) A4200-U00Z出版社/メーカー: アットマークテクノメディア: エレクトロニクスこの商品を含むブログを見る ターゲットボードはArmadillo420,開発環境はATDE4を想定. 標準でlighttpdが動いているのでCGIPHPを使う. 最初は…

木更津高専を中退して入院した

タイトルの通りで、近況報告も兼ねて高専入学から大学院入学までを簡単にですが書きます。 書くかは悩んだのですが、入学時に入学エントリも書いたので書いておこうかなと。 ※ 木更津高専の情報工学科は、工学に基づいた体系的な情報分野を学べるとてもいい…

armadillo420覚書き

組み込みlinuxボードarmadilloを最近使っているので,メモ程度に. ドキュメント・ダウンロード | 組み込みLinuxのArmadilloサイト gist2580bc6f4443b0b4eef4

aitendoのアルコールセンサーを試す(Arduino)

アルコールセンサー アルコールセンサー - aitendo アナログ出力とデジタル出力があって, アナログ出力は何も無いときは0.4V,アルコールを摂取したときの息は2Vぐらい(5V電源). デジタル出力はコンパレータの出力が出ていて,ボリュームで敷居電圧を設…

今月のKiCad(bzr5410) Mac版

ビルドしたので置いておきますね. https://dl.dropboxusercontent.com/u/15489251/KiCad_bzr5410.zip 作り方は下記のとおりです. MacでKiCadをコンパイル(OS X 10.10 Yosemite) - miettalの日記

今年やること100個 2015年版

同じことを毎日コツコツやるのは苦手なので,毎日いろんなことにチャレンジする. クラウド炊飯器を作る. Kobo touchで何かGUIプログラムを動かす. Z80ボードを作る. ブラウザ上で動作するバイナリエディタを作る. 非常用消防ベルでなにかを作る. バカ…

MacでKiCadをコンパイル(OS X 10.10 Yosemite)

macでkicadを使おうとしてる時点で安定性を求めていないので,最新版をビルドしたほうが良い— たいしょー@TOEFL 11/120点 (@miettal) 2014, 12月 28 KiCadの公式はMac用のビルド済バイナリを配布してない.だから自前でビルドしようかと思った. 基本的にこ…

基板加工機を使ってみた.

学校(学科)に基板加工機があるので使ってみた. kicadで設計した小さな基板を基板加工機で削ってみた. うすうす感づいていたが,裏表逆w ガーバーとかドリルとか外径とか裏表とかのことが少しわかったので次は間違えないと思う. ひと通りソフトの使い方…

Boot Campを入れた.

自分の使っていた古いMacを家族用に転用することになったのでBoot Campを入れた. USBメモリとWindowsのISOイメージを用意してBoot Campウィザードを進めるだけ. 簡単だなぁ. pic.twitter.com/LKWGd0Sct3— たいしょー@TOEFL 11/120点 (@miettal) 2014, 12…

しゃべるUPSを作った

学校に捨てられたUPSを拾って,内部スピーカーの配線を取り出して,電圧測るだけ. ここの音声を頂いた ゲーム・動画・アプリ用フリー声素材配布ページ - あみたろの声素材工房 【永久保証付き】Arduino Uno出版社/メーカー: スイッチサイエンスメディア: Pe…