OS
iPhone (iOS)
その他
連載スタパ齋藤の「スタパトロニクスMobile」
最新のMacBook Airをついに購入! M3搭載で持ち運べる、ジョリーグッドでアルティメットなマシンだゼ!!!
(2024/4/22)
2024-04-22 17:00
6.0, theme, plugin
Redmine 6系に備えよう! テーマとプラグインを対応させるためのチェックリスト
概要
テーマのインストールディレクトリが public/themes から themes に変わります。
テーマで application.cssを import するときの相対パスが変わり...
0.9 (23) 1.0 (12) 1.1
2024-04-09 (Tue)
#1 Coq の P -> False を ~P に変える
先に結論を書いておく: change (~ P) もしくは change (?p -> False) with (~ p) を使えばよい
Coq で、~P というのは、not P の notation である。
not は以下のように定義される。
Definition not := fun A : Pro
Last Modified: Sun Apr 7 17:44:29 UTC 2024
某駅におけるベルヌーイの定理の体感 2024-04-08 [Mon] 02:22
人間というものは、たとえ個々人が自由意志をもって動いていたとしても、
集団になると全体で流体のような動きを示す、ということをどこかで読んだ。
実際、それを体現するような現象は東京都内の各所でみられる。
とくに、新山がよく通る某駅な
NAKAMURA Minoru の日記 (2024年4月)
先月の日記(2024年03月) 今月の日記(2024年04月) 来月の日記(2024年05月)
2024 | 1 | 2 | 3 | 4
4/3 (水)
自宅のフレッツ光に障害が発生
自宅はフレッツ光ネクスト ファミリー・ハイスピードタイプを導入しているが、朝テレワークを始めると回線障害が発生していた。
終端装置 GE-PON-ONU の
ページ更新: 2012-01-05 (木) (3624日前)
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
404 Not Found: ページが見つかりません
▼【重要】ホームページ開設者の方へ▼
@homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
詳しくはこちらをご確認ください。
@nifty top ウェブサイトの利用について | 個人情報保護ポリシー
特定商取引法に基づく表示
©NIFTY Corp