SecHack365 2019 Advent Calendar 14日目の記事です(大遅刻)． what is this きっかけ 実装したもの 型と型推論について 型？ 型付け規則はこわくない 型環境 型付け規則を読む 整数 変数 ラムダ抽象 関数適用 let式 let rec式 型推論？ Hindley-Milner Type…

C言語にはオブジェクト指向に関する機能はないですが，ポリモーフィズムを実現する方法をいくつか紹介します． まずC言語でオブジェクトの継承を表現します． 以下のサンプルにおいて，Personオブジェクトは「名前」という情報を持っています． StudentとTea…

自作言語をかれこれ8ヶ月ぐらい作ってるんですが，ちょっとドキュメント(笑)的なものは書いとくかと思ったので投稿します． 随時更新していきます． リポジトリはここ！ 特徴 インタプリタ repl 静的型付け フルスクラッチ サンプルコード ハロワ 変数定義 i…

どうも． 暇すぎてCでスタックを実装するか〜となって実装したので，そのときのメモです． ネットに転がってるサンプルコードなどを見てると，int型のデータしか格納できないものが多かったので，それはつまらんということで「なんでも入る」スタックを作り…

ある時、僕の学校にあるGoogle Formで作られたアンケートに答えるよう手紙が来ました。 見てみると結構長め、さらには回答必須という地獄のような物でした。やるのは面倒だし回答はしなきゃダメ…… そうだ、自動化すればいいじゃないか！ 「退屈なことはPytho…

Ubuntu 18.04で「30日でできる！OS自作入門」をやりたい[2日目] - まりものメモ帳の続きです。 定期試験と文化祭とかいろいろ重なっていつの間にかこんな時期です。終わるのかこれ。まずいでしょ。 前回と間が空き過ぎてて「あっ…(察し)」と思った方もいるか…

Ubuntu 18.04で30日OS自作入門をやりたい[1日目] - まりものメモ帳の続きです。 2日目でも現実の日数的には大きくかけ離れるんですがそれは許して下さい。深夜までみんなとPUBGmをしてたのが敗因です。 使ったツール ・nasm ・qemu ・make 詳しくは一日目を…

まえがき この度「30日でできる！OS自作入門」というのを購入しまして、少し読み進めたらWindowsでないと本通りに進めていくことが出来ないことが判明しました。なんと僕のお家にはWindows環境の入ったPCが無い(！)ので、Linuxでやってる方はいらっしゃらな…

jQueryを使って自分のサイトで遊んだのでコードとかを置いていきます。 やりたいこと スクロール量に応じて表示する文字を変えたいと思います。考え方はこんな感じです。スクロール量をリアルタイムで取得 ↓ スクロール量が既定値以上になったら文章を変更 ↓…

今年の8月3日にドメインを契約したのでその時のお話を少々していこうと思います。すこしドメインで遊びたかったこともあってお試しという形で契約をしました。 名前と会社決め HNがadmarimoinなので、admarimo.inとかどうかなあと思い検索をかけた所、どこも…

タイトル詐欺です。 どうもーまりもです。特にやることが無いので(あるんだけど)何かつらつらと書いていきたいと思います。 今回は全く中身の無い記事となってます。 フォントってありますよね。そうフォントです。あの文字のやつ。あれってアレですよね…自…

すごい久しぶりの更新ですね。みなさんこんにちはまりもです。定期試験終了芸からの華麗なるブログ更新といきたいと思います。 今回はpythonを用いてTwitterのAPIを叩いて自動でツイートをふぁぼる所まで行きますよ。 Twitter Developersに登録 こいつに登録…

ぼく「OSと一緒にレポートを吹っ飛ばしてからデータ消えるのが怖すぎて毎秒Google Driveにアップロードしてる」 ともだち「自動化しろ、ぽまえ情報科やろ」 ぼく「あっ、そっかあ」というわけでファイルを自動でアップロードするコードを書くことになりいろ…

どうも、まりもです。レポートが終わりません。助けて。 えーと今回は結構前に書いたシーザー暗号という暗号を作る/解く為のプログラムを発掘したんで載せようと思います。 内容薄。 シーザー暗号って何や アルファベットを何文字かずらして書く暗号という超…

暇だったんで解きました。色々ヒントもらったりして答えにたどり着けたんでそのメモです答えは直接は書きませんがその一歩手前まで書くのでネタバレ注意です。URL:http://challenge-your-limits2.herokuapp.com/このパズル(?)、curlコマンドを叩いていくとな…

みなさん始めまして。まりもです。 前にプログラムとかLinuxとかセキュリティについて扱ったブログをやってましたが、ペンネを変えて再出発。Twitterアカウントはadmarimoinの他にも6つぐらいあった気がしますがこれを本垢にして行く感じです。誰にでも自信…