https://www.youtube.com/watch?v=LNDZlPuSjBw&ab_channel=cityosaka
大阪は古くから都市であり、都市発展も昔から今に至るまで盛んであるということを主張している。
https://www.youtube.com/watch?v=LNDZlPuSjBw&ab_channel=cityosaka
大阪は古くから都市であり、都市発展も昔から今に至るまで盛んであるということを主張している。
空集合 Φ1, Φ2 を任意にとる。 | |
空集合の定義より、Φ1, Φ2はその要素を持たない。 | |
今、 Φ1の任意の要素に対して、それはΦ2の要素である。 (vacuously true) | |
また、Φ2の任意の要素に対して、それはΦ1の要素である。 (vacuously true) | |
したがって 集合の等しさの定義より、 Φ1 = Φ2. |
using System; | |
using System.Collections; | |
using System.Collections.Generic; | |
using System.Linq; | |
const int N = 120; | |
var kvpString = factorize(N).Select(kvp => $"{kvp.Key}: {kvp.Value}"); | |
Console.WriteLine($"[{String.Join(", ", kvpString)}]"); |
using System; | |
using System.Collections.Generic; | |
using System.Linq; | |
namespace collatz { | |
class Program { | |
static void Main(string[] args) { | |
IEnumerable<T> iterate<T>(T seed, Func<T, T> step) { | |
while (true) { | |
yield return seed; |
using System; | |
using System.Collections.Generic; | |
namespace csharp_Cin | |
{ | |
class Program | |
{ | |
static Cin cin = new Cin(); | |
static void Main(string[] args) | |
{ |
using System; | |
namespace foo { | |
class Program { | |
static Expr myExpr = | |
new Add( | |
new Mul( | |
new CInt(3), | |
new CInt(2) | |
), |
namespace fuga | |
{ | |
class MyClass { | |
int value; //privateなフィールド | |
public int GetValue(MyClass mc) => mc.value; // 同クラス他インスタンスのprivateフィールドにアクセスできる!! | |
public MyClass(int v) => value = v; | |
} | |
class Program | |
{ |
using System; | |
namespace hoge { | |
class Program { | |
static void Main() { | |
var tree = | |
new Node( | |
new Leaf(1), | |
new Node( | |
new Leaf(2), |
static class Combinators { | |
public static void Pipe<T>(this T t, Action<T> a) => a(t); | |
public static T Pipe<S, T>(this S s, Func<S, T> f) => f(s); | |
public static Func<S, U> Then<S, T, U>(this Func<S, T> f, Func<T, U> g) => s => g(f(s)); | |
public static Func<T, S, U> Flip<S, T, U>(this Func<S, T, U> f) => (t, s) => f(s, t); | |
public static Func<T, Func<S, U>> Flip<S, T, U>(this Func<S, Func<T, U>> f) => t => s => f(s)(t); | |
public static T Ident<T>(this T t) => t; | |
public static S Const<S, T>(this S s, T t) => s; |
<!DOCTYPE html> | |
<html lang="ja"> | |
<head> | |
<meta charset="UTF-8"> | |
<title>BMI計算機</title> | |
<script> | |
// 事前準備 | |
// - ダウンロードZipを押す | |
// - ダウンロードしたzipファイルを展開or解凍する |