JavaScript で論理学を実装 - Qiita

2019/04/06 37 users Qiita node 構文解析 実装 論理学

0. 概要 JavaScript上で命題論理の言語を実装し、意味論 (恒真式・意味論的同値関係やタブロー計算)の各種概念も実装に落とし込む。証明論は未実装。動作環境は Node。 依存パッケージは nearley (構文解析) のみ。npm i --save nearley で環境構築完了。 0. 表記 原子命題は p,q,r,s,t,u のみ利用可。¬⋀⋁→↔ は -,A,V,->... 続きを読む

npm v2のインストールは`npm i -g npm@latest-2` - teppeis blog

2015/11/29 13 users インストール teppeis blog パッケージ タイトル

2015-11-29 npm v2のインストールは`npm i -g npm@latest-2` npm node.js タイトルで言い切った感のある小ネタ。 最新のnpm v3は基本素晴らしいのだけど、主にnode_modulesがフラットになったなどのbreaking changesによって一部のパッケージがまだ非対応だったり、自分のプロジェクトで固めたshrinkwrap.jsonからは対応... 続きを読む

mdr·ターミナルでもMarkdownを読みやすく MOONGIFT

2014/09/07 52 users MOONGIFT Markdown mdr npm エディタ

Markdownフォーマットがどこでも使われるようになっています。それだけ普及したこともあって、専用のエディタや各種エディタでのMarkdownフォーマットのハイライトサポートが当たり前になっています。 そこでターミナルでも同じようにMarkdownの可読性をあげてくれるのがmdrです。一度使うと意外と手放せない存在になりそうです。 mdrの使い方 インストールはnpmを使います。 $ npm i... 続きを読む

npmのあまり知られてない機能 10選 - from scratch

2014/06/10 307 users Twitter npm npm install 職場 タイトル

2014-06-10 npmのあまり知られてない機能 10選 なんか最近Twitterとか職場でも「npmの機能でそんなのあったんだ」って言われること多いので、説明していきます。ちなみにタイトルにとりあえず10選って書いたけど、あんまりたくさん思いついてないのに、10選って書いてしまったので最後の方は微妙かもしれません。 1. npm installは npm i でも同じことができる まぁ単純な... 続きを読む

pageres - 指定幅でのスクリーンショットをまとめて取得|オープンソース・ソフトウェア、ITニュースを毎日紹介するエンジニア、デザイナー向けブログ

2014/02/22 22 users npmコマンド コマンド スクリーンショット ソフトウェア

コマンドで実行できるから自動化も楽々ですね！ レスポンシブWebデザインはブラウザ幅によって表示が変わるので確認が大変です。一つのURLごとに複数の表示を確認しなければなりません。 そんな手間を軽減してくれるツールがpageresです。コマンド一つで複数のブラウザ幅におけるスクリーンショットを取得してくれます。 pageresのインストール インストールはnpmコマンドでできます。 $ npm i... 続きを読む