このブログについて
基本的にプログラムとか数学の自身が後から見返すための忘備録的なものです。多分、正しい意味でのweblog。プログラムに関しては主に数値計算系とかゲーム作成が中心になると思います。
各記事にコメント欄を設けており、それらは全て承認式です。これは私自身が全てのコメントを読むためでもあります。
基本的に初学者から中級者程度向けのの内容を目指しています。
各記事はリンクフリーですが、事前告知なしに記事を削除もしくは非公開にする場合もありますので、引用先のサイトや論文(これについては書き換える可能性もあるためあまりよくないと思う)を明示した上で連絡を頂ければ保存と公開に尽力します。もし、記事を削除もしくは非公開にする必要が生じてしまった場合は連絡を入れさせていただくことがあります。
記事一覧(1～10件目)
記事検索(詳細な検索方法についてはこちら)
型における条件付き半順序の構築
型に対してある条件付き半順序を定義したとき、その半順序を判定するメタ関数を定義する
投稿日時:2020/09/13 00:14 最終更新日時:2020/09/13 00:14
おすすめの本
Amazon.co.jpアソシエイト
管理人が読んでみてよかった本を紹介します。要は布教です。気分によって変えます。
学術系の本
ブログのコアな更新履歴
- 2020年11月13日
- ブログシステムを1から再構成
記事をWebStorageに保存する機能の実装 - 2020年06月20日
- ダークモードを仮実装
- 2020年05月28日
- 記事に対してまともにコメントのできないバグを修正
- 2020年05月04日
- ページ切り替えボタンのバグを修正
- 2020年04月10日
- サイトのデザインを微修正
- 2020年02月02日
- 試験的にMathJaxからKaTeXに移行
- 2020年01月22日
- 本ブログのコメント機能のバグの改善と軽量化
- 2019年12月29日
- 本ブログの軽微な不具合の修正と軽量化
- 2019年12月17日
- Markdownの実装におけるリストのバグの修正
- 2019年12月09日
- Amazon.co.jpアソシエイトの合格
- 2019年11月29日
- 兄弟記事投稿のためのシステムの構築
- 2019年11月28日
- 検索システムの日本語入力と式の評価に関するのバグの修正
- 2019年11月27日
- Google AdSenseの合格
広告で記事が見づらい場合は理由を添えてご連絡ください、なるべく改善します - 2019年11月17日
- ブログの記事として投稿
- 2019年11月15日
- 記事の検索システムの実装
- 2019年11月11日
- ブログの運営開始
- 2019年10月20日
- ブログを作成開始
