TojoQK の投稿

Common Lisp を静的型付けの秀逸な型システムをもった関数型言語に拡張するライブラリ Coalton を紹介します

Web サーバーの急な障害からの復活までの記録

骨伝導イヤホンの OpenRun を購入した感想

何故自由ソフトウェアの話がまともにできないのかについて考察しました

Web サイトをリニューアルしてタグ機能を追加しました

公開日記を始めました。上のメニューから日記に遷移できます。

ハフマン符号化して復号すると元に戻ることをACL2で証明しました。全体的に解説は少なめですが、ACL2 の elim ルールについての説明は詳しいと思います。

ACL2 で剰余関連の証明の試みをしたときの個人的な覚え書きです。

CASIO の腕時計 F-201WA の私の使い方について熱く語ります。

ACL2 の入門向けに L-99 の一問目を解きました(動画付き)

以前から RSS で記事を購読されていた方向けの共有です

ACL2 で Lisp のリストの回文に関する証明を試みました

ACL2 で鳩の巣の原理を使った証明を試みます

ACL2 でリストの回転に関する性質を証明してみた(未完)

システムによる支配について会話劇を用いた解説です。x に色々入れてみよう。

Emacs の時刻表記が日本語から英語に変わってしまう問題の解決法についての解説

Web サイトをリニューアルしました

Guile で Unix のコマンドの出力を一行づつ読んで処理する具体的な例を紹介します。

Guile ではスタックオーバーフローは起きないので末尾再帰にしなくてもいいという話

ACL2 で再帰で求める組み合せの数と階乗表記の計算方法で計算結果が同じになることを示しました

全ての組み合せを求めてから長さを求めるのと最初から組み合せの数を求めるので同じ値を得られると証明しました。

Nextcloud のサーバーの運用を始めた動機と構築方法について

Laminar を導入して CI サーバーを構築した話

Git サーバーをセルフホスティングしてみました。

自由ソフトウェアの使用を推奨するための非エンジニア向けの文書

普段 Scheme を使わないプログラマ向けに SICP を快適に読むための文書です(古いかも)

Web サイトの見た目をよくしました

haunt を拡張して org-mode を使って記事を書けるようにしました。

「排中律と二重否定除去をSMLで実装する」という記事の Typed Racket 版です。

Serverless Framework を使って Racket のプログラムをデプロイする極端な方法を解説します。

個人用途であって独自ドメインを使うことを推奨します

Webサイト「TojoQK」への最初の投稿です