CNFの組み立て方を思い出す話
Zenn · 2021-10-28
そもそもCNFって何だっけ？ CNF 連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF） ってwikipediaに書いてました。 乱暴に言えば、 リテラル単体もしくはリテラルを論理積で羅列したもの 論理積を構成する各リテラ
そもそもCNFって何だっけ？ CNF 連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF） ってwikipediaに書いてました。 乱暴に言えば、 リテラル単体もしくはリテラルを論理積で羅列したもの 論理積を構成する各リテラ
ここでは知っていると作業効率の向上を期待できるが、あまり一般的ではないと思われるショートカットのみをまとめた。 なお、ここで紹介するショートカットはwindows10 version 20H2にて動作確認済みである。 1. 編集...
はじめに Serverless FrameworkでAppSyncの環境を構築します。 AppSyncのプラグインが提供されているので、それを利用すればできるのですが、設定する内容が多く、かつ初見では難しいので最初から構築する内容をまとめてみました。 今回のソースは以下にあり
有限要素法(FEM)を体験しよう 0.本稿の目的 機械や建築の人がよく使う有限要素法(FEM(Finite Element Method))って何？と思ってる方に向けて書いています。 本記事の目的は、今から説明するプログラムを読者に実際に実行してもらうことで有限要素法に対
TypeORMとは、Typescript用のORマッパーです。TypeORMを使って、Express + Docker + MySQLの環境構築からマイグレーションまでを行います。 OSはMacを使います。Node、Yarn、Dockerが既にインストールされていることを前提に進
こんにちは，株式会社Nospare・千葉大学の小林です．今回はMartin, Frazier and Robert (2020)によるベイズ統計における数値計算（Bayesian computation）の進歩の歴史についてまとめた論...
はじめに Windows一筋20年の私ですが、この度心変わりして新型MacBook Proを購入しました。 話題性の高い製品のため、購入を迷われていたり、購入後の環境構築に苦戦している方も多いと思うので、インプレと環境構築につ...
プログラマー間で論争が起きそうなことをまとめたネタ記事です。 他に何か面白そうな内容あったらコメントで教えてください。 定数の読み方 自分の周りじゃないんですが，「ていすう」と読むか「じょうすう」と読むかで争いが生じることもある...
はじめに 東京リージョンにあるDBCS上のPDBのリフレッシュ可能クローンを大阪リージョンにあるDBCSインスタンス上のCDB内に作成する手順を検証してみました。 おおまかな手順として、以下のような流れになります。 東...
実はAdressable環境じゃなくても使えるUnity Cloud Content Delivery Unity Cloud Content Delivery（略してUnity CCD）は、Unity Gaming Servi...
世の中の TypeScript コンパイラが大きすぎるので作りました。 https://github.com/mizchi/mints ここで試せます。 jsx と jsx pragma のサポートもしたので、 preact も動いています。 https://mints-play
家族を認知症にさせたくない！ 先日日曜14時からのザ・ノンフィクション(フジテレビ系列)で認知症の父とその家族ドキュメンタリーが放送されていた。思わず見入ってしまった。 家族が記憶を失くす。その状況がいかに恐ろしいものか改めて考...
概要 とあるSpringBoot+Flywayの案件で、Migrations have failed validationのエラーが出力されて、アプリケーションが起動出来なかった。 SpringBootのログにはこれ以上の内容は表示されず、調査が難航した。 このアプリケーショ
やろうと思った経緯 開発中、サーバーとの通信用のクラス(〇〇Responseなど)を自動生成してくれるツールを使っていたのですが、継承などをすることが出来ないため、処理の汎用化をする際に苦労していました。 そこで解決策として「親...
はじめに 前回の記事ではLambdaをVPC内に配置する方法について紹介しました。 https://zenn.dev/nekoniki/articles/2318df67b6a02f 今回は同じVPC内にAWS RDSのAuroraでPostgreSQLのインスタンスを立ち上
外出先から自宅に接続するために、EdgerouterにL2TP/IPSec VPNを設定していた。先日スマホをAndroid12にアップグレードしたところ、L2TP/IPSec方式はInsecureだと警告が出るようになってしまった。そもそもAndroid12からはVPNに新規接