内容はGitHubの2段階認証とhttpsアクセスとほぼ同じです。
GitHubに大規模な不正ログイン試行を参照のこと。
githubの設定変更はGithubの二段階認証を設定しようにまとまっています。
tune
/ gist:8119307
Created
December 25, 2013 01:09
githubの2段階認証を有効にし、http・https経由の操作でPersonal Access Tokenを使う
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と設定される。
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 |
| 日時: | 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
| #!/usr/bin/env python | |
| # -*- coding: utf-8 -*- | |
| from subprocess import Popen | |
| import shlex | |
| import sys | |
| import os | |
| SPHINXOPTS = "" | |
| SPHINXBUILD = "sphinx-build" |
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
| (when (and (>= emacs-major-version 24) | |
| (eq window-system 'ns)) | |
| ;; フォントセットを作る | |
| (let* ((fontset-name "myfonts") ; フォントセットの名前 | |
| (size 14) ; ASCIIフォントのサイズ [9/10/12/14/15/17/19/20/...] | |
| (asciifont "Menlo") ; ASCIIフォント | |
| (jpfont "Hiragino Maru Gothic ProN") ; 日本語フォント | |
| (font (format "%s-%d:weight=normal:slant=normal" asciifont size)) | |
| (fontspec (font-spec :family asciifont)) | |
| (jp-fontspec (font-spec :family jpfont)) |
