キャリア
au
povo
連載スタパ齋藤の「スタパトロニクスMobile」
通信障害対策っ!!! povo2.0とIIJmioのデュアルSIM運用だゼっ!!!
(2022/8/8)
2022-07-28 (Thu)
#1 Coq の Template polymorphism (2)
さらに manual を読み直した
そーか、具体的に与えた ql から Pl' が決まり、Ci : sqi を成立できるように si が選ばれる、
という仕掛けか
そこで ΓP' は、partial application で ql が与えられなかった部分はそのまま残るから別にいいのか
というこ
NAKAMURA Minoru の日記 (2022年07月)
先月の日記(2022年06月) 今月の日記(2022年07月) 来月の日記(2022年08月)
2022 | 1 | 2 | 3 | 4 | 5 | 6 | 7
7/25 (月)
発熱外来を受診
ようやくネット予約の発熱外来が受診できた。
PCR 検査済ということで、あらための検査はなしで薬だけ貰って帰ってくる。
このあとは保健所からの
2022-06-24 14:30
redmica
RedMica 2.1 新機能ガイド
Redmine互換のオープンソースソフトウェア「RedMica」の新バージョン2.1の主な新機能9個を紹介します。
RedMicaとは
RedMicaはRedmine互換のオープンソースソフ...
0.9 (23) 1.0 (12) 1.1 (10) 1.2 (8) 1.3 (12) 1.4 (16) 2.0
ページ更新: 2012-01-05 (木) (3624日前)
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
Apr. 2020
Last Modified: Sat Apr 11 05:02:35 UTC 2020
Duuude2020-04-11 [Sat] 13:29
暗い話だよなー、ほんとに。
技術的な判断ができない人々や、精神論的な考え方に頼る人々がトップに立つことが多い日本は、長い目で見れば徐々に衰退していくだろうとかねがね思っていた。が、この現象はもっと短時間のうちに起こりそうである。そして
404 Not Found: ページが見つかりません
▼【重要】ホームページ開設者の方へ▼
@homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
詳しくはこちらをご確認ください。
@nifty top ウェブサイトの利用について | 個人情報保護ポリシー
特定商取引法に基づく表示
©NIFTY Corp