夏なので自動かき氷機の「正しさ」を数学的に検証する話を書きます。 (この記事は以下のツイートから始まるスレッドの内容をまとめ直したものです。)

諸般の事情で GUI 付きの仮想マシンをリモートから動かしたかったので、RDPを使ってVirtualBoxの仮想マシンに接続してみました。 拡張パック

Zoomで研究発表のタイムキーパーをする機会があったので、そのための方法を纏めます。動作確認はmacOS Monterey 12.2で行っています。 今回やった

はじめに 各種ブログでは以下の様なブログカードを良く見ると思います。例えばWordPressであればSimple Blog Cardプラグインでブログカ

個人的に数年使っている仕事術であるポモドーロ・テクニックを、もっと長い間使っているテキストエディタのEmacsと組み合わせて行なう話を書いて

はじめに この記事は SATySFi Advent Calendar 2021 22日目の記事です。 21日目の記事は今のところまだ誰も書いていないみたいです。 たまーにSATySFiで文書を書くM

TL;DR こういう感じに設定すると動きます!やった! ;; satysfi-modeの設定 (use-package satysfi :init (setq satysfi-command "/root/.opam/4.11.1/bin/satysfi") :mode (("\\.saty$" . satysfi-mode) ("\\.satyh$" . satysfi-mode) ("\\.satyg$" . satysfi-mode)) :hook (satysfi-mode . lsp) :config ;; lsp-modeの設

はじめに 若干マニアックな話ですが、MATLABスクリプトでSimulinkモデルの入力信号を生成して、シミュレーション結果を得たい場合があり

令和のこの時代ですが、GB音源での打ち込みをやる準備をやってみます。ざっと書くと、以下の様な流れになります。 MML (Music Macro Language)を書く G

どうせブログ記事を書くなら読みやすい文章を書きたい、自然言語を書くときにもlintが欲しい、ということでtextlintを使ってみることにし