Filosofi matematika adalah bidang yang tidak hanya memeriksa angka dan persamaan, tetapi juga menyelidiki landasan konseptual yang menopang seluruh struktur ilmu ini. Salah satu perdebatan paling lama dan paling menarik dalam bidang ini adalah antara realisme dan nominalisme. Perdebatan ini membentuk cara kita memahami eksistensi entitas matematika: apakah mereka benar-benar ada di luar pikiran ma
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネット(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2024年5月時点の調査。
Andrew Caudwell's Gource SCM visualization program running against git.git up to version 1.0. Images from GitTogether '08 group photo and gravatars. Soundtrack: first few minutes of Emergence(VirUnisFusion) by Echos of a Supernova - http://ccmixter.org/people/th3rd3y3 Gource is Free Software (GPLv3) available from http://code.google.com/p/gource/ Video recorded using Yukon https://devel.
ソースコードのレビューはシステムの品質を高めるのに大切な作業だ。GoogleやVMWareでも使われており、ブラウザを使って差分を確認してコメントができるようになっている。社内向けには拙作のSubversionソースコードレビューシステムの宍道湖がある（Rails製）。 Git向けソースコードレビューシステム この手のツールはSubversion向けのものが多かったが、Gitでも使いたいならGerritに挑戦してみよう。 今回紹介するオープンソース・ソフトウェアはGerrit、Git向けソースコードレビューシステムだ。 GerritはGoogleが大々的に発表している訳ではないが、Google社員が開発しておりAndroidのオープンソースプロジェクトにおけるソースコードレビューにも利用されている。他のシステム同様に差分を見て、そこにコメントすることが可能だ。 差分を見てコメントする 差分
git-annex allows managing large files with git, without storing the file contents in git. It can sync, backup, and archive your data, offline and online. Checksums and encryption keep your data safe and secure. Bring the power and distributed nature of git to bear on your large files with git-annex. git-annex is designed for git users who love the command line. For everyone else, the git-annex ass
So, are you tired of this old and bored git log screen? How about this one, instead? It's simple. Just type in: git log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset' --abbrev-commit I guess that's a bit too long, eh? Let's just make an alias. Copy and paste the line below on your terminal: git config --global alias.lg "log --color --graph -
ローカルで持っているGitリポジトリをGitHubにpushしてしまいたいなぁ、と思ったのだが、pushする直前にAuthorおよびCommitterとして自分の本名を使っていることに気づいた。そういえば、Gitを使い始めたころはuser.nameに正直に本名を入れていたなぁ…。 そのままでも大した問題はないのだが、ネット上ではidesakuで通すことにしているので、こいつらを修正した。その際、あまり使わないコマンドを使ったので、作業ログなど残してみる。 さて、どうすればよいか。すぐに思いついたのは、git-rebaseを使うことである。 ところで、Gitは全てのコミットにAuthorとCommitterの二つの名前を記録している。これは、オープンソース分野でよくある「パッチを書いた人(Author)と、それをリポジトリにコミットした人(Committer)が違う」ケースに対応するための措
この記事は Git Advent Calendar 6日目の記事です！ Git submodule って最初わかりにくいと思うので、基本的な説明をしようと思います。 git submodule とは git submodule は、外部の git リポジトリを、自分の git リポジトリのサブディレクトリとして登録し、特定の commit を参照する仕組みです。 Subversion でいうところの、external と似ています。 さて、解説のため、手元に、リポジトリA (/path/to/a) とAの submodule として、よく使う例として Bootstrap (元Twitter Bootstrap) を登録してみます。 git submodule を理解するうえで重要なのは、 リポジトリAが指し示すsubmoduleとしてのBootstrapのcommit 現在のBootstr
以前gitで一度行った変更をなかったことにする方法4つを紹介しましたが、 日常的に git を使用していると他にも様々な 「なかったことにしたい」「元に戻したい」 という状況に遭遇します。 そのひとつひとつについて対処方法を紹介していきます。 目次 問題1: ライブラリの新機能を試すためにあれこれ適当なコードを書いてみた。でももう要らない。問題2: トピックブランチをマージしたけど実はまだ不完全だった。マージをやり直したい。問題3: リリース後に発覚したバグ。原因は30日前に自分が行ったコミットだった。なかったことにしたい。問題4: 新しいコミットしようとして間違えてgit commit –amendで書き換えてしまった。元に戻したい。問題5: 色々作業していたら作業ディレクトリの内容が混沌としてきた。一度綺麗な状態にしたい。問題6: 作業ディレクトリにゴミファイルが溜まってきた。一度綺麗
エンジニアたるもの、マニュアル を読み込むべし。そのためには、Git 内部について若干の予備知識が必要。 ただしその深みにはまると、 Git - the stupid content tracker の意味がよく分かる。 ということで、まずは用語の理解から。 Git オブジェクトのタイプ blob ファイルの中身を表すオブジェクト tree ディレクトリの中身の一覧とどのファイルがどの blob に対応するかを表すオブジェクト commit ルートツリーおよびすべてのメタデータへのポインタを含むオブジェクト tag 特定のコミットへのポインタを含むオブジェクト （出典：Pro Git - Pro Git 3.1 Git のブランチ機能） 上の図で、commit 直下の blob は、カレントディレクトリ . と考えると分かり易い。 関連リンク Pro Git - Pro Git 3.1 G
GitHubにはGitHub Pagesというホスティングサービスがある。先日公開した『Unity入門』のページも、このGitHub Pagesを使ってホスティングしている。 GitHub Pagesが面白いのは、ウェブページのコンテンツとGitリポジトリが一体化しているというところだ。GitHub上に一定のルールに従ってリポジトリを作成すると、そのリポジトリの内容がウェブページとして配信される。コンテンツを更新するには、そのリポジトリに更新内容をpushするだけでいい。 GitHub Pagesは、単にリポジトリの内容を配信するだけではない。Jekyllという静的サイトジェネレーターを搭載しており、コンテンツに対してスタイルを簡単に適用できるようになっている。例えば『Unity入門』のページはこのようなソースファイル群によって構成されている。これを更新してpushすると、内部でJekyl
Wikiエンジンは皆で編集するには便利だが、場合によっては個人のメモとして利用することもある。そのような場合にちょっと不便なのがブラウザ上で書かなければならないということだ。長文になるとテキストエリアの文字をコピーしてローカルで直してから貼付ける、なんて操作をする人もいるだろう。 Gitをデータストアに利用したWikiエンジン そのような苦労をされている方はGitkiを使ってみてはどうだろう。個人から複数人まで皆で使えそうだ。 今回紹介するオープンソース・ソフトウェアはGitki、GitをベースにしたWikiエンジンだ。 GitkiはGitとそのWebフロントエンドになるGitkiからなるWikiエンジンだ。リポジトリ内のファイルを直接みてブラウザ上に表示する。ブラウザ上での編集機能はなく、Gitリポジトリをクローンして編集し、終わったらPushすることで内容が変わるという仕組みになってい
LinuxカーネルやRuby on Rails、Perlなど、近年多くの大規模プロジェクトで採用されているバージョン管理システムが「Git」だ。Gitには非常に多数のコマンドが用意されているが、日常的に使用するコマンドは20個程度と言われている。本記事では、Gitを使いこなすために覚えるべき20個のGit基本コマンドを紹介する。 LinuxカーネルやRuby on Rails、Perlなど、近年多くの大規模プロジェクトで採用されているバージョン管理システムが「Git」だ。Gitには非常に多数のコマンドが用意されているが、日常的に使用するコマンドは20個程度と言われている。本記事では、Gitを使いこなすために覚えるべき20個のGit基本コマンドを紹介する。 なお、Gitの基本的な考え方や使い方については分散バージョン管理システムGit入門でも紹介しているので、そちらも参照してほしい。
Subversion - open source version control system オープンソースプロジェクトではソースコードの共有や管理にバージョン管理システムを使っていることが多い。バージョン管理システムを使ってソースコードの共有とバージョニングを可能にすると、複数名での開発やロールバックが簡単の実現できるようになる。オープンソースプロジェクトに限らず、商用システムの開発でも活用できる機能だ。 以前はCVSが代表的なシステムだったが、現在ではほかにもいくつかの候補がある。候補はいくつもあるが、Smashing Magazineの7 Open Source Version Control Systems Reviewedに興味深い記事が掲載されているためチェックしておきたい。同記事では7つの代表的なバージョン管理システムが簡潔にまとめられている。簡単にまとめると次のとおり。
githubのロゴ Gitは分散型バージョン管理システムで、Linuxカーネルのバージョン管理にも利用されている。真のデータは中央サーバに蓄積されるが、その過程は各自でレポジトリをコピーして、ローカルでコミットし、それをプッシュすることでなりたっている。 githubのトップページ。現在ベータサービス中 ローカルでコミットできるので、オフラインでも問題なく利用できる。最終的なデータだけ中央のサーバに向けてプッシュすれば良いのだ。これが慣れると面白く、そして便利だ。 今回紹介するWebアプリケーションはgithub、フリーのGitレポジトリサービスだ。 githubはユーザ登録すればGitレポジトリを作成することができる。SSH接続のため、パブリックキーを登録する必要があるのがSourceforgeのようで面白い。サービス自体はRailsで開発されているらしい。 レポジトリ管理ページ Web
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
