opam switchのエクスポート・インポート

文脈としては前回の続き。 opam switchとは、node.jsでいうところのasdf-vmやnodenvのような、OCamlコンパイラのバージョンを切り替えられる、opamの機能である。opam installでインストールしたパッケージたちも、各switchに保存されるため、開発環境を切り…

emacsとevilと

背景 EasyCryptの証明のためには、ProofGeneralが必須であり、それを動かすためにはEmacsを使わなければならない。一方で、私は昔からVimを使っているので、Emacsのキーバインドはほとんど知らない。そこで、以前からSpacemacsのevilモードを使っていた。 と…

FastifyのヘッダーをHooksで共通化する

問題 Fastifyで書かれたAPIサーバにて、以下のようなルートハンドラがあるとする。 getHelloHandler (request: FastifyRequest, reply: FastifyReply) { reply.header('Content-Type', 'application/json').code(200); reply.send({ hello: 'world' }); } 上…

2.4.3 グローバル変数

「グローバル変数」って名前あんまりよくない気がする… 「モジュールの中で操作しようとしている変数の集合」って認識したら正しそう。

2.4.2 モジュール型

EasyCryptリファレンスマニュアルの非公式(かつガバガバな)訳です。 モジュール型って要するにインターフェースとかよばれるものですね。

2.4.1 モジュール

EasyCryptリファレンスマニュアルの非公式な訳です。 いろいろガバガバなのは許してくれ

EasyCryptとProofgeneralのインストール

EasyCryptという暗号系の形式検証支援系をインストールしようとしたところ、詰まったところがたくさんあったので備忘録。 2019/11/12追記 ここを読まずに公式のGithubリポジトリの手順を読みましょう。 EasyCryptインストールまで 公式Githubを参考にインス…

コラッツ問題

最近授業でprologを扱っていて、コラッツ数列を求める、末尾再帰なコードを書くという問題が出た。未だに末尾再帰があんまりよくわかってないんだけど、「再帰呼び出しが各手続きでの最後にある」ように書けばいいんだそうだとか。ということで以下のように…

アッカーマン関数

C++をいじる機会があって,前々から気になっていた定数式(constexpr)にもちょっと触れてみた. なにやら,コンパイル時に値が決定できる値をコンパイル時に計算することで,実行時の速度が早くなるとかなんとか.アッカーマン関数を実装した. //ack.cpp #in…

12月終わり/2016年総括

年の瀬ですね。いかがお過ごしでしょうか。 今月もやっていきましょう。 主な活動 合唱団 本番1本。定期演奏会。他の本番と違い、1年間をかけて準備してきたため、達成感もひとしお。高専時代にはこのようなステージはなかったので、様々な初めての経験があ…

11月終わり

忙しかったせいか10月よりも時間が経つのが早かった.SFなら時間に取り残されて老化が止まる. 主な活動 合唱団 本番は無かったが,定演まで1ヶ月を切り,ゲネプロがあった.反省点だらけ.本番1週間前にもう一度あるので,それまでの追い込みが勝負だと思う…

10月終わり

今月も勢いよく過ぎ去った.時差ボケに似た体調を抱えています(後述)が,ある程度元気です.やっていきましょう. 主な活動 合唱団 本番が1本.地元の文化センターを彷彿とさせる音響のホールだった.混声曲ではあるが男性女性ともに見せ場がはっきりしてい…

9月

時間が経つのは早いもんで,もう夏休みが終わります.一瞬だった.今月もやっていきます. 主な活動 合唱団 5泊6日の合宿があり,福島まで行った.文字通り朝から晩まで練習をやったが,個人的にはあまり進歩がなかったかな〜みたいな気持ちが強い. 多少進…

宝珍楼について

大学近くに宝珍楼という自称中華の店があり,とても好きで,最近はかなりの頻度で通っているが,やっぱりこれは中華ではないなあと思いながら食べていて,どうして中華ではないかといえば,たしかに中華料理のメニューは存在してラーメンや唐揚げがうまいが…

8月おわりました

山形にいます.今月もやっていきましょう. 主な活動 合唱団 本番1本.茨城県合唱コンクール.銀賞. Bassはもっとがんばりましょうみたいな講評をいただく.聞きに来てくださった方,どうもありがとうございました. 我が団は表彰待ちの時間に『いざたて戦…

7月が終わります

14時間勤務のバイト終わりに中華を食ったら歯茎の皮が剥けてきて痛いです.今月もやっていきます. 主な活動 合唱団 なんか7月のイベントのことを6月分の月報に書いてた.まあいいや. 今月は本番が1本.弊大学のオープンキャンパス. 関東とはいえ東北(福島…

6月おわり

やっていきます 主な活動 合唱団 前回の記事の通り,本番が2本あった. 茨城県合唱連盟│合唱祭 水戸芸術館|音楽|第27回 水戸市合唱祭 どちらも良い経験になった.前者では地元のホールを思い出し,後者はホールこそ小さいものの,今までに味わったことのな…

5月がすでに終わっています

やっていきます 主な活動 合唱団 合唱祭とコンクールに向けた練習が中心.たまに三善晃とPoulencのヤバい曲が入る.6/5,26と立て続けに本番が入っているため頑張っていこうと思います. 直近では7月あたりに男声合唱をやれる機会がありそうなので楽しみにし…

SNOW 0.8.0

SNOWがメジャーアップデートされました(バージョン0.8.0) ついにスノーモービルとスノーボードが実装されたので,公式サイトの特集ページを和訳しました. www.snowthegame.com スノーボードとスノーモービルが登場! ついに登場!スノーボーディングとスノ…

4月が終わりました

人が書いてるのを見ると書きたくなるねみたいな話です 去年もこの時期に書いた気がするけど続かなかったし,こんなもんかなとも思いますが 大学に入学した 前の記事にも書いたとおり,4月から茨城県の国立大学(筑波大学とは言っていない)に入学した. 工学部…

SNOW 0.7.1 リリースノート一部和訳

SNOW*1がアップデートされました リリースノート(Featured changesのみ)*2 CRYENGINEのバージョン3.8.6に対応 プレミアムドローン/セッションマーカーの導入 セッションマーカーがバックエンドに保存されるようになり,セッションをまたいで引き継がれるよう…

各位よろしく

お久しぶりでございますご存知かわかりませんがどうにか大学入試を終わらせて,この4月から関東の某大学に進学することになりました.今年一年で思ったことは, シス単は鉄板 "模試の"成績は勉強時間にだいたい比例する しかし模試成績は本番とは関係がない*…

劇場版ハーモニーを応援しています

LINEには様々なアニメ、漫画作品を用いたスタンプが存在している。 ある作品は、既に原作者が死去しており、恐らく、作品の雰囲気というか、世界観を無視しても、制作陣の誰にも咎められないのかわからないが、それを明らかに逸脱しているスタンプが販売され…

7月11日現在

書きたいことが溜まっているため、メモとして残しておくこととする。・初心者を自称することについて・音楽検索アプリと音楽市場の関係(調べてない)・うちの飼い猫・女性が綺麗な同性を見た時の感情に対する好奇心

第53回中国合唱コンクール

なんか下書きにいつの間にかあったから載せとく ここから すさまじいスケジュール PCKが終わる前から次の大会練習は始まっているのだ(白目) 大会と言っても合唱の方です ちなみに合唱部としての練習期間は9/5~9/19だったので,PCKと合唱の練習を平行している…

雑記

ある程度長めの文章書かないと国語力が衰えていく一方なので,無理やり近況について書くものとする. 予備校に入学して早くも一ヶ月が経ってしまった.この間一行もプログラムを書かない日々が続く代わりに,いままでまともに扱っていなかった一般科目につい…

退学したことを書こうと思ったけどやめた

実は今日は曲紹介的などうでもいいことを書こうと思ってたんでそっち書きます.退学について今更書くのもアレなので*1.今日ご紹介致しますのは"Mark Knight & Funkagenda - Man With The Red Face"ですます.Mark Knight & Funkagenda - Man With The R…

退学式って変換しようとしたら退学指揮になった

指揮はしません高専でやること全部終了した— ハングアップ (@Gedyra) 2015, 3月 25というわけです 卒業式が無事に終わったので,先生方に退学にあたっての挨拶回り終わったら改めて記事書きます(たぶん).

SublimeLinterでたのしいC/C++

2016.05.04追記:おそらく古すぎて使えません覚書 目的 SublimeTextで,C++のSyntax Errorをコンパイルせずに見つけたかった(AOJのため)ので,SublimeLinter-contrib-clangを,Windows7(64bit)上で使えるようにした. 手順1 http://elfcobe.hateblo.jp/entry…

高専をやめる話

こんにちは Twitter上でも書いてましたが,私は高専を3月末で退学します.退学Advent Calendarなるものがあるらしいですがまだ退学したわけではないので登録してません.退学する理由,および現状など書きます. なお、この記事はあくまで私の個人的な意見や…