«前の日記(2010-07-13) 最新 次の日記(2010-07-17)» 編集

ToDo:

  • 99 深呼吸して、おちけつ (~12/31 あと250日)
  • 98 毎日アウトプットを重きにおいた目標をたてる (~12/31 あと250日)
  • 97 買物は行動を変えるもの・ことに限る (~12/31 あと250日)
  • 96 合理的な行動はときに我慢を強いる(~12/31 あと250日)

ɥozɐʞıɥ


2010-07-15 朝型へ [長年日記]

_

5:50にbootしました。

_ [F#] delegate

ボチボチとF#をお勉強始めました。

delegateはof句に続き引数の仮宣言して、->で戻り値ですかね。

type delegatedFunc = delegate of int * int -> string

let ret = (new delegatedFunc(fun x y -> "Return = " + System.Convert.ToString(x * y))).Invoke(10,20)

System.Diagnostics.Debug.WriteLine(ret)

_ [F#] アクティブパターン(FuzzBuzzもやってみる)

奇数・偶数の判定

let (|Judge|_|) j =

match j%2 with

| 0 -> Some(Judge)

| _ -> None

let Judge j =

match j with

| Judge j -> "Even"

| _ -> "Odd"

do {1..10} |> Seq.iter(

fun x -> System.Diagnostics.Debug.WriteLine(

System.Convert.ToString(x) + " is " + Judge x))

FuzzBuzzもお試し。コードはダサいけど晒す。

let (|Fuzz|_|) i =

match i%3 with

| 0 -> Some(i)

| _ -> None

let (|Buzz|_|) i =

match i%5 with

| 0 -> Some(i)

| _ -> None

let (|FuzzBuzz|_|) i =

match i%15 with

| 0 -> Some(i)

| _ -> None

let FuzzBuzz i =

match i with

| FuzzBuzz i -> "FuzzBuzz"

| Fuzz i -> "Fuzz"

| Buzz i -> "Buzz"

| _ -> System.Convert.ToString(i)

{0..60} |> Seq.iter(fun x -> System.Diagnostics.Debug.WriteLine(FuzzBuzz x))

_ お出かけ

午後からお出かけ。電車の中で1時間30分寝てました(汗。

そのまま直帰しましたよ。なんと18:30に帰ってきました。

幸せですねぇ。



2002|09|10|11|12|
2003|01|02|03|04|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|
«前の日記(2010-07-13) 最新 次の日記(2010-07-17)» 編集