| 日時: | 2025-05-13 |
|---|---|
| 作: | 時雨堂 |
| バージョン: | 2025.3 |
| URL: | https://shiguredo.jp/ |
言語
halcat0x15a
/ MaxValue.scala
Created
June 7, 2013 09:13
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scalaz._, Scalaz._ | |
| object MaxValue extends App { | |
| val a = Map(1 -> 10, 2 -> 5) | |
| val b = Map(2 -> 10, 3 -> 7) | |
| val c = a.mapValues(Tags.MaxVal) |+| b.mapValues(Tags.MaxVal) | |
| (c: Map[Int, Int]) assert_=== Map(1 -> 10, 2 -> 10, 3 -> 7) | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Require Import Coq.Setoids.Setoid. | |
| Record Group:Type := { | |
| g_set : Type; | |
| g_mult : g_set -> g_set -> g_set; | |
| g_assoc a b c : g_mult (g_mult a b) c = g_mult a (g_mult b c); | |
| g_id : g_set; | |
| g_id_r a : g_mult a g_id = a; | |
| g_inv : g_set -> g_set; | |
| g_inv_r a : g_mult a (g_inv a) = g_id |
Kuniwak
/ 2013_11_15_githubjp_note.markdown
Last active
October 30, 2018 07:06
「GitHub トレーニングチームから学ぶ Git の内部構造」のノートです。
曖昧なところもあるので、間違いがあったら教えてください！ http://connpass.com/event/3808/
- メインスピーカー：マシューさん（@matthewmccull）
- サブスピーカー：ジョンさん（@johndbritton）
従来の CVCS （集中バージョン管理システム）のリビジョン番号は連番。 SVN はサーバーにデプロイした時点でリビジョン番号1と設定される。
tune
/ gist:8119307
Created
December 25, 2013 01:09
githubの2段階認証を有効にし、http・https経由の操作でPersonal Access Tokenを使う
内容はGitHubの2段階認証とhttpsアクセスとほぼ同じです。
GitHubに大規模な不正ログイン試行を参照のこと。
githubの設定変更はGithubの二段階認証を設定しようにまとまっています。
| 更新: | 2025-04-08 |
|---|---|
| 作者: | @voluntas |
| バージョン: | 2025.2 |
| url: | https://voluntas.github.io/ |
概要
miki725
/ .bash_prompt.sh
Last active
June 2, 2025 06:33
Custom bash prompt which displays: (virtualenv) user:/path (git-branch)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # | |
| # DESCRIPTION: | |
| # | |
| # Set the bash prompt according to: | |
| # * the active virtualenv | |
| # * the branch of the current git/mercurial repository | |
| # * the return value of the previous command | |
| # * the fact you just came from Windows and are used to having newlines in | |
| # your prompts. |
