KotlinGitHub CodespacesでセットアップしたKotlin学習環境で学習を始めよう！
前回では、GitHub Codespacesで Kotlin学習環境をセットアップした。今回は、いよいよ学習を始めよう。構築したCodespacesを開こうブラウザでGitHubリポジトリを開く「Code」→「Codespaces」→構築し...
2025-10
Kotlin
KotlinGitHub Codespacesで Kotlin学習環境をセットアップしよう
KotlinとはKotlin（コトリン） は、2011年にJetBrains社が開発したモダンな静的型付けプログラミング言語である。主に Javaと高い互換性を持ちながら、より簡潔で安全なコードが書けるよう設計されている。特徴説明1. Ja...
司法・法務民法を学ぼう！「立木の独立性と物権変動（4）」
明認方法の意義については、次の2つの見解がある。第1の見解によれば、 明認方法は、もっぱら立木の物権変動の対抗要件の役割を果たすものである。 すなわち、 土地に生立する立木が売却されたときは、 その立木は、明認方法が施される前に独立の物とな...
司法・法務民法を学ぼう！「立木の独立性と物権変動（3）」
III 明認方法とは1 物権変動の対抗要件と物の独立化の要件明認方法の意義については、次の2つの見解がある。第1の見解によれば、 明認方法は、もっぱら立木の物権変動の対抗要件の役割を果たすものである。 すなわち、 土地に生立する立木が売却さ...
司法・法務民法を学ぼう！「立木の独立性と物権変動（2）」
II 明認方法による公示1 立木所有権の譲渡と留保（1） 立木所有権の譲渡① 立木の譲渡 VS 立木の譲渡Aが所有する甲土地の上に生立する乙立木について AからBへと売却がされた後、 AからCへと売却がされた。 乙立木の所有権の取得について...
司法・法務民法を学ぼう！「立木の独立性と物権変動（1）」
立木は、原則として、 土地の一部を構成する。 そのため、立木についてはまず、立木を独立の物として、 物権の客体とすることができるかどうかが問題となる。これが認められると、 次に、立木の物権変動について、どのようなルールが適用されるのかが問題...
JavaGitHub CodespacesのJavaで遊ぼう！「1〜100の数当てゲーム」
GitHub Codespacesの導入については、下記の記事を参照してください。さて、プログラミング初心者におすすめなのが、乱数を使った数当てゲームである。このプログラムでは、コンピュータが1〜100の数字をランダムに選び、プレイヤーが当...
JavaGitHub CodespacesでJavaを学ぼう「九九の表を出力する」
Javaの学習を始めたばかりの人にとって、「九九の表」を出力するプログラムは定番の練習問題である。今回は、GitHubのCodespacesを使って、簡単にJavaプログラムを作成・実行する方法をご紹介しよう。GitHub Codespac...
司法・法務民法を学ぼう！「動産物権変動（17）動産物権変動における公示と公信（3）
動産物権変動における公示と公信（3）公示の原則と公信の原則との関係（2）①Aは、Bから、Bが 所有する物を買い受けた。 その後、 Bは、 Cに対しても、その物を売却した。②Aは、Bに対し、 自分が所有する物を賃貸して、これを引き渡した。その...
司法・法務民法を学ぼう！「動産物権変動（16）動産物権変動における公示と公信（2）
動産物権変動における公示と公信（2） 公示の原則と公信の原則との関係（1）不動産物権変動と動産物権変動との比較公示の原則と公信の原則との関係を整理しておこう。 ①Aは、Bから、Bが 所有する物を買い受けた。 その後、 Bは、 Cに対しても、...