kzhamajiのアンテナid:kzhamaji 1/2ページ ▽ 天泣記 ●12/28 19:06 Set, Type, Prop, SProp の 4種類ある。Type は Type(1), Type(2), ... と無限の階層になっている。ただ、いまは Type と Prop だけ考える。Set は Type のいちばん低いレベルの Type と考えられる。SProp は Prop と似ている。これらはそれぞれ sig と sigT という名前である。なお、f =1 g は forall x, f x = g x である。 ▽ Home | Redmine.JP Blog ●12/20 05:17 Redmine/RedMica最新バージョン(2024/12/16時点): Redmine 6.0.2 / RedMica 3.1.02024-11-26 15:006.0, インストール・設定Redmine 6.0 をUbuntu 24.04 LTSにインストールする手順最小構成でインストールしたUbuntu Server 24.04.1 LTS に Redmine 6.0.1 をインストールする手順です。Redmin...2024-11-20 16:00今日使える明日のRedmine「RedMica 3.1.0」リリース2024年11月19日、Redmine互換のオープンソースソフトウェア「RedMica」の新バージョン3.1.0がリリースされました。Redmine ...2024-11-18 12:00 更新6.0Redmine 6.0 新機能紹介2024年 ▽ cur ●11/22 11:20 Nov. 2024Last Modified: Thu Nov 21 21:39:07 UTC 2024さむっこ 2024-11-22 [Fri] 06:35ゲームジャムにはどうにか参加できたが、それ以外のことをする時間はまったくない(趣味という意味で)。これは他の親の方々も同じようである。ちなみに職場には同じぐらいの子供をもつ親が沢山いるので、そういう意味では話題にこと欠かない (しかし彼ら自身はオレよりも全然年下だが)。最近、ひさしぶりに Python 書いたらさあー、class A : B fun foo(): print()みたいに書いててがっかりしたよ。よくないな。それにしてもこの部屋は寒い。ぶごっぷDocument ID: 601a365e59e336e74c84af0500853138875b0cd5 ▽ NAKAMURA Minoru’s Diary ●11/21 16:43 11/16 (土)[Movie] グラディエーターⅡ 英雄を呼ぶ声ムービルで「グラディエーターⅡ 英雄を呼ぶ声」(原題: Gladiator II)の字幕版を見た。古代ローマが舞台の映画は「ポンペイ」以来だが。今回は首都ローマが舞台だ。コロッセオを水で満たして模擬海戦をするというのはインパクトがあったが、実際にやったことがあったらしい。11/10 (日)[Movie] 劇場版 進撃の巨人 完結編 THE LAST ATTACKチネチッタで「劇場版 進撃の巨人 完結編 THE LAST ATTACK」で字幕版を見た。ただし Kudu ではデバッグ情報を取得できるが、アプリの配備操作はできない。アプリの配備は Azure CLI を使うことで SCM API 経由で行うことができる。ただし Azure CLI では Basic 認証を使うことができない。11/8 (金) 6.次5> 0.はてなアンテナトップ 8.このページを友達に紹介 9.このページの先頭へ □ヘルプ /お知らせ □ログイン □無料ユーザー登録 □はてなトップ (c) Hatena