Redmine/RedMica最新バージョン（2024/12/16時点）： Redmine 6.0.2 / RedMica 3.1.0
2024-11-26 15:00
6.0, インストール・設定
Redmine 6.0 をUbuntu 24.04 LTSにインストールする手順
最小構成でインストールしたUbuntu Server 24.04.1 LTS に Redmine 6.0.1 をインス
iPhone
連載スタパ齋藤の「スタパトロニクスMobile」
iPhoneと一体化するキーボードケース「Clicks Keyboard」の実用性はいかに!? 使いやすさを追求してみた‼
(2024/12/16)
周辺機器/アクセサリー
2024-12-03 (Tue)
#1 Coq-Equations の depelim tactic
Coq-Equations にインデックス付き帰納型の場合分けを行う depelim tactic があるという話を見かけたので、
eq_irrelevance とかを証明してみた。
なお、Equations は Agda みたいなパターンマッチで関数を定義できるようにするというのが主目的のパッケ
Nov. 2024
Last Modified: Thu Nov 21 21:39:07 UTC 2024
さむっこ 2024-11-22 [Fri] 06:35
ゲームジャムにはどうにか参加できたが、
それ以外のことをする時間はまったくない
(趣味という意味で)。
これは他の親の方々も同じようである。
ちなみに職場には同じぐらいの子供をもつ親が沢山いるので、
そういう意味では話題にこと欠かない
11/16 (土)
[Movie] グラディエーターⅡ 英雄を呼ぶ声
ムービルで「グラディエーターⅡ 英雄を呼ぶ声」(原題: Gladiator II)の字幕版を見た。
古代ローマが舞台の映画は「ポンペイ」以来だが。
今回は首都ローマが舞台だ。
コロッセオを水で満たして模擬海戦をするというのはインパクトがあったが、実際にやったことがあったらしい。
11/10 (日)
[Movie] 劇場版 進撃の
ページ更新: 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