寫! 改!

F# 學習筆記 5 等位和記錄

// 型別: 等位
// ---------------------------------------------------------------
type Expr =   
| Num of int  
| Add of Expr * Expr  
| Mul of Expr * Expr  
| Var of string  

let rec Evaluate (env:Map) exp = 
    match exp with
    | Num n -> n
    | Add (x, y) -> Evaluate env x + Evaluate env y
    | Mul (x, y) -> Evaluate env x * Evaluate env y
    | Var id    -> env.[id]

let environment = Map.ofList [ "a", 1 ;
                               "b", 2 ;
                               "c", 3 ]

// Create an expression tree that represents 
// the expression: a + 2 * b. 
let expressionTree1 = Add(Variable "a", Multiply(Number 2, Variable "b"))

// Evaluate the expression a + 2 * b, given the 
// table of values for the variables. 
let result = Evaluate environment expressionTree1

有心要學好它就一口氣把各樣的語法都學會吧...

這回再說一個關鍵字: type type

和Java 的hashtable 一樣變成強型態了

等位的意思像其他語言的class, match 還是要存在

Num 像一個getter

Add Mul 就是function 了

expT1 是expression, 用來定義Evaluate 要做的事, 也像是一個參數的配對 整件事就是envA 放到expT1 再以Evaluate 計算, 得出resT1

發表時間:2013年3月11日 | 評論 (0) | 全文

F# 學習筆記 4 更多函式

// 函式
// ---------------------------------------------------------------

/// 計算輸入值之平方的函式
let Square x = x*x              

// 在值清單之間對應函式
let squares1 = List.map Square [1; 2; 3; 4]
let squares2 = List.map (fun x -> x*x) [1; 2; 3; 4]

// 管線
let squares3 = [1; 2; 3; 4] |> List.map (fun x -> x*x) 
let SumOfSquaresUpTo n = 
  [1..n] 
  |> List.map Square 
  |> List.sum

建立函式是Functional language 的最常手法所以F# 建立它的方法也同樣多姿多彩
let squares2 = List.map (fun x -> x*x) [1; 2; 3; 4]這句最能表現F# 的魅力
fun x-> x*x 是anonymous function
因為呼叫方法和shell 一樣, 所以squares2 就變所List 放到裡面去(1;4;9;16)
發表時間:2012年2月11日 | 評論 (2) | 全文

F# 學習筆記 3 陣列和Assoc

// 可變動的陣列
// ---------------------------------------------------------------

/// 建立陣列
let arr = Array.create 4 "hello"
arr.[1] <- "world"
arr.[3] <- "don"

/// 使用陣列物件的執行個體方法,計算陣列的長度
let arrLength = arr.Length        

// 使用切割標記法擷取子陣列
let front = arr.[0..2]


// 更多集合
// ---------------------------------------------------------------

/// 內含整數索引鍵和字串值的字典
let lookupTable = dict [ (1, "One"); (2, "Two") ]

let oneString = lookupTable.[1]

// 如需其他通用資料結構,請參閱:
//   System.Collections.Generic
//   Microsoft.FSharp.Collections
//   Microsoft.FSharp.Collections.Seq
//   Microsoft.FSharp.Collections.Set
//   Microsoft.FSharp.Collections.Map
唯一要說的是這句 let arr = Array.create 4 "hello"
let arr=Array.create 4 "hello" 的結果會建立["hello";"hello";"hello";"hello"]
發表時間:2013年3月11日 | 評論 (0) | 全文

F# 學習筆記 3 List

// 功能清單
// ---------------------------------------------------------------/
// 空白清單
let listA = [ ]           /// 有 3 個整數的清單
let listB = [ 1; 2; 3 ]     /// 有 3 個整數的清單,注意 :: 是指 'cons' 作業
let listC = 1 :: [2; 3]    /// 使用遞迴函式計算整數清單的總和
let rec 
SumList xs =    match xs with    | []    -> 0    | y::ys -> y + SumList ys/// 清單的總和
let listD = SumList [1; 2; 3]  /// 介於 1 到 10 (含) 之間的整數清單
let oneToTen = [1..10]/// 前 10 個整數的平方
let squaresOfOneToTen = [ for x in 0..10 -> x*x ]

List 是F# 最重要特點之一, 可以將數值快速運數及整合, 會用python 或matlab 的人會比較有認識

上面有用過一個寫法" match .. with | "

這是個foreach loop, 意思是xs 作為List 中其中的一個element,

| 是switch 式, 用作處理不同的情況

-> 是return的意味, y::ys -> y + SumList ys 意思是把y 從List 中抽取出來, 再來和餘下的List Element 加起來

發表時間:2013年3月11日 | 評論 (0) | 全文

F# 學習筆記 2 Tuple 和其他型別

// Tuple// ---------------------------------------------------------------// 簡單的整數 Tuplelet pointA = (1, 2, 3)// 簡單的整數、字串和雙精確度浮點數的 Tuplelet dataB = (1, "fred", 3.1415)/// 將 Tuple 中兩個值的順序互換的函式let Swap (a, b) = (b, a)// 布林值// ---------------------------------------------------------------/// 簡單的布林值let boolean1 = true/// 第二個簡單的布林值let boolean2 = false/// 使用 And、Or 和 Not 計算新的布林值let boolean3 = not boolean1 && (boolean2 || false)// 字串// ---------------------------------------------------------------/// 簡單的字串let stringA  = "Hello"/// 第二個簡單的字串let stringB  = "world"/// 使用字串串連計算 "Hello world"let stringC  = stringA + " " + stringB/// 使用 .NET 程式庫函式計算 "Hello world"let stringD = String.Join(" ",[| stringA; stringB |])  // 嘗試重新輸入上一行,以查看 IntelliSense 的作用  // 注意,在識別項上使用 Ctrl-J (部分) 會重新啟動該識別項Ctrl+J (很重要) Tuple 和List 都是可以儲備多個數值的變數, 但是有分別的, 但可以先當tuple 寫法是php 的non-assoc array 而list 是個整數loop , 下回再說List
發表時間:2012年2月11日 | 評論 (0) | 全文

F# 學習筆記 1 變數和函數

F# : 弱型態, 編譯型, Functional

 

// 開啟一些標準命名空間
open System

// 簡單計算
// ---------------------------------------------------------------
// 這裡是一些簡單的計算。請注意程式碼用
// '///' 加註註解的方式。將游標置於任何變數參考上方
// 就可以查看說明文件。

/// 非常簡單的常數整數
let int1 = 1

/// 第二個非常簡單的常數整數
let int2 = 2

/// 兩個整數相加
let int3 = int1 + int2

// 整數的函式
// ---------------------------------------------------------------

/// 整數的函式
let f x = 2*x*x - 5*x + 3

/// 簡單計算的結果
let result = f (int3 + 4)

/// 另一個整數的函式
let increment x = x + 1

/// 計算整數的階乘
let rec factorial n = if n=0 then 1 else n * factorial (n-1)

/// 計算兩個整數的最大公因數
let rec hcf a b =                       // 注意: 2 個參數以空格分隔
    if a=0 then b
    elif a<b then hcf a (b-a)           // 注意: 2 個引數以空格分隔
    else hcf (a-b) b
    // 注意: 函式引數通常是以空格分隔
    // 注意: 'let rec' 會定義遞迴函式
發表時間:2012年2月11日 | 評論 (0) | 全文

百變香江

之前比人delete, 我幾驚以後都搵唔返啊!!! 

好感人好感人ge 歌

發表時間:2012年2月6日 | 評論 (1) | 全文

小美

找詞聽常常會以歌手來找, 而我卻不以為然, 透過兩種人找歌會令你的收獲更快, 一是編曲, 另一是填詞。

而給我這種啓發的... 是小美, 小美的詞我覺得無論意思和境象都十分的迫真, 不溫不火。

我是在小美的(當然也可說是張國榮的)一首神曲"有誰共鳴"開始認識她的, 有誰共鳴的成功我覺得幾乎是小美一個人的功勞, 當然她會說不敢當, 張國榮的演譯也當然傳神云云, 這都到仁者見仁, 但我方見小美了。聽有誰共鳴的時候, 我完全可以感受到在半夜三時, 多巴胺的作用極弱時那種極不安定而冷靜的精神狀態。在完全沒有故事背景的情況下, 歌詞的強度我認為也足以影響到唱者了。有如此功力, 實令我十分希望去了解填詞的這個人, 最方便的方法, 也就是去找她的歌聽了。

在維基的條目中可以看到小美的介紹:

http://zh.wikipedia.org/wiki/%E6%A2%81%E7%BE%8E%E8%96%87

幾乎每首歌, 即使是不同的題材, 都突顯出小美的個人風格, 強烈的物像描寫, 像看到最標準的中學中文課程作培養出來的優品, 傳統工藝配上真實的個人感情, 這就是小美。

發表時間:2012年1月22日 | 評論 (1) | 全文

つよがり

 

TVアニメショー「べるぜバブ」EDテーマ つよがり 

 

アーティスト:中川翔子

作詞:しほり

作曲:しほり

編曲:太田雅友

1.つよがり

2.星屑ロマンス

3.Dangerous wild,you are!

4.つよがり -Instrumental-

5.星屑ロマンス -Instrumental-

6.Dangerous wild,you are! -Instrumental-

ソング紹介:歌名雖為「逞強」但曲風與歌詞卻是非常光明正向,努力的邁向明日。

つよがり

ひとつ ふたつ足りないものを
数えるのはもうやめた
昨日までの冴えない僕に
今日でサヨナラしたいよ

守るようで守られて
いつからか強くなる
手と手繋ぐぬくもりが
绝え間なくチカラくれる

強がりだよ でも决めたんだ
追いかけるまぶしい明日に
いつかの僕ら映して
届くようにと願う

読めない展開泣きたい時も
弱虫に負けそうな日も
ぐっと 前を見据えたら
何度だってまた歩き出そう

ひとつ ふたつ気づきはじめた
ありふれた日々の中で
見える景色自分しだいで
少しずつ変わっていく

出会い 别れくりかえし
続いてくこの道で
手と手ふたり取り合った
奇跡が背中押すんだ

迷いながら でも信じたい
僕ら強くなれるはずと
「大丈夫」そう 言い聞かせて
君に笑颜見せた

肝心なコト言えない時も
悔しいキモチ耐えた日も
きっと いつかの僕らが
今日の僕ら誇れるだろう

強がりだよ でも君となら
どこまでも進んでゆける
いつかの僕ら目指して
届くようにと願う

冷たい雨に打たれた時も
本当はくじけそうな日も
ぐっと 前を見据えたら
何度だってまた歩き出そう

 

逞強

一、兩個不足的事情
已經不想再數了
想向昨天還意志消成的我
說再見

看似守護實則被守護
何時才能變得堅強
雙手緊繫的溫暖
不斷賦予我力量

總是在逞強 但我已決定
追逐閃耀的明日
祈求哪天能
照映到我們

開始難以理解的哭泣那時也好
還是輸給軟弱的那一天
都要聚睛凝神的向前看
無論多少次都能再度邁出步伐

在習以為常的日常中
察覺到有一兩件事
看見的景色因自己而
逐漸改變

在這條街道上
重複著邂逅、分離
彼此手牽手
奇蹟正推著我們

雖迷網 但仍堅信
我們能變得堅強
告訴自己「沒問題的」
讓你看到我的笑容

即使有無法說出重要的事時
也有忍受著後悔心情的日子
總有天我們必能
向今日的我們誇耀

總是在逞強 但若是與你
不管到哪都能前行
祈求我們的目標
總有天能傳達出去

縱有被冰冷的雨淋溼時
也有受挫沮喪的日子
只要聚睛凝神的向前看
無論多少次都能再度邁出步伐

 

 原歌詞轉載: http://hujiharasakura.pixnet.net/blog/

中日對得有點不正, 看到有點地方也想改改, 還有中詞好像還可以改呢

這首歌最近被我loop 死了, 太強太強了, 到了一個地步聽到想嘔吐關掉了又想打開再聽><

 

發表時間:2012年1月16日 | 評論 (0) | 全文

LEVEL5 -Judgelight-

 

LEVEL5 -Judgelight- OP2(LEVEL5 -制裁之光-)(第15話-23話、24話插曲)
作詞:fripShip 作曲、編曲:八木沼悟志 歌:fripShip
MXTV他アニメ「とある科学の超電磁砲」オープニング・テーマ


日文:


響き合う 願いが今、覚醒めてく
譲れない未来のために
巡り逢う 運命を超えたその先に
この想い輝くから


ここじゃない未来に想い託してみては
強さの本当の意味を探し続けてた


ありのままの痛みを受け入れるその意味を
明日へ走り続ける君に知った


巡りゆく 景色が今、流れてく
手繰り寄せた世界の先
降り注ぐ シグナルを躰で感じて
解き放つ今全てを


Just truth in my heart
いつだって迷わないよ
消せない想いがあるから
解き明かす 真実から 瞳を逸らさずに
I'll reach the next stage to realize all.


遠く感じてた 君が走る背中を
いつからだろう こんなにも近くに感じる


不安隠し切れずに 迫る空を見上げた
傷ついた記憶 いつか乗り越えるよ


憧れは 能力を今 呼び起こす
守りたいものがあるから
巡りゆく 景色胸に 駆け上がるだけ
痛みは風に消えてく


Believe in Judgelight
運命さえ 撃ち抜いて
夜明けをこの手で造ろう
変えていく勇気と変わらない心で
I believe myself and precious emotion
打ち砕く この想いで!


始まりの 光の中 誓い合う
果てなき闇を裁くこと
恐れてた 孤独の渦 溺れることに
だけどもう振り向かない


巡りゆく 景色が今 流れてく
手繰り寄せた世界の先
降り注ぐ シグナルを躰で感じて
解き放つ今全てを


Just truth in my heart
いつだって迷わないよ
消せない想いがあるから
解き明かす 真実から 瞳を逸らさずに
I'll reach the next stage to realize all.
確かな絆信じて

 

 


羅馬:

hibikiau negai ga ima mezameteku
yuzurenai mirai no tame ni
meguriau unmei o koeta sono saki ni
kono omoi kagayaku kara


koko ja nai mirai ni omoi takushitemite wa
tsuyosa no hontou no imi o sagashitsuzuketeta


arinomama no itami o ukeireru sono imi o
ashita e hashiritsuzukeru kimi ni shita


meguriyuku keshiki ga ima nagareteku
taguriyoseta sekai no saki
furisosogu shigunaru o karada de kanjite
tokihanatsu ima subete o


Just truth in my heart
itsu datte mayowanai yo
kesenai omoi ga aru kara
tokiakasu shinjitsu kara me o sorasazu ni
I'll reach the next stage to realize all.


tooku kanjiteta kimi ga hashiru senaka o
itsu kara darou konna ni mo chikaku ni kanjiru


fuan kakushikirezu ni semaru sora o miageta
kizutsuita kioku itsuka norikoeru yo


akogare wa chikara o ima yobiokosu
mamoritai mono ga aru kara
meguriyuku keshiki mune ni kakeagaru dake
itami wa kaze ni kieteku


believe in judgelight
unmei sae uchinuite
yoake o kono te de tsukurou
kaeteiku yuuki to kawaranai kokoro de
I believe myself and precious emotion
uchikudaku kono omoi de!


hajimari no hikari no naka chikaiau
hate naki yami o sabaku koto
osoreteta kodoku no uzu oboreru koto ni
dakedo mou furimukanai


meguriyuku keshiki ga ima nagareteku
taguriyoseta sekai no saki
furisosogu shigunaru o karada de kanjite
tokihanatsu ima subete o


Just truth in my heart
itsu datte mayowanai yo
kesenai omoi ga aru kara
tokiakasu shinjitsu kara me o sorasazu ni
I'll reach the next stage to realize all.
tashika na kizuna shinjite

 

中文:

彼此共鳴的心願 此刻漸漸覺醒
為了我無法割捨的未來
輾轉相逢的 命運若能將其超越
這份意志必將綻放光彩


總是將心
寄托在更進一步的未來
一直尋覓著堅強的真諦走到現在


將傷痛毫不退縮地
接受有何意義
想必向著明天飛奔的你早已明白


四季循環的 景色此刻 漸漸流轉
向著我手握世界的前方
撲面而來的信號 用全身去感覺
是催促我此刻解放一切


真實就在我的心中
我將永遠不再迷茫
因為我有抹不去的堅定意志
我願解開這一切 不再迴避真實
走向下一個人生舞台


你那曾經那麼遙遠的奔跑背影
不知何時開始 我已感覺如此接近


也曾懷著掩不住的不安 仰望天空
可我遲早要超越傷痕累累的記憶


正是心中的憧憬 喚起 我的能力
因為我有想守護的事物
心懷流轉的景色 不斷向上攀登
傷痛也終將消逝在風中


心中堅信制裁之光
就連命運也能 輕易擊穿
我願親手開創那份黎明
懷著變強的勇氣 帶著不變的心
堅信自己與寶貴的羈絆
憑這份意志 擊垮一切阻礙吧!


在起始的 光芒中 彼此許下誓言
發誓要制裁無盡的黑暗
儘管曾那麼害怕於 沉溺 孤獨的漩渦
可是如今我再也不會回頭


四季循環的 景色此刻 漸漸流轉
向著我手握世界的前方
撲面而來的信號 用全身去感覺
是催促我此刻解放一切


真實就在我心中
我將永遠不再迷茫
因為我有抹不去的堅定意志
我願解開這一切 不再迴避真實
走向下一個人生舞台
堅信這份真切的羈絆

 

 

中文:L5-審判之光


彼此交響的 願望此刻,逐漸覺醒
為了絕對不讓出的未來
越過邂逅的 命運後所抵達的前方
這份思念定會閃耀


向不屬於這裡的未來
托付出自己的思念
繼續踏上尋找堅強的真正意義之旅


把那原本存在的痛楚
全部都承受的意義
是從奔向明天的你身上知道的


環繞四周的 景色如今,已逝去
緊牽你我世界的前面
用身體去感受 那些傾注而來的信號
此刻解放所有一切


Just truth in my heart
無論何時我都不會迷惘
因為心中有著堅定的信念
直視那漸漸揭開的 真實 絕不偏移視線
I'll reach the next stage to realize all.


總是遙不可及的 你奔跑的背後
到底從什麼時候開始呢 彷彿近在咫尺一般


懷著藏不盡的不安 仰望那狹窄的天空
總有一天受傷的記憶 會跨過這天空


此刻憑著憧憬 喚醒 自身潛能
因為我有想要守護的事物
環繞四周的 景色從心底裡 湧現而出
這份痛楚便隨風消散


Believe in Judgelight
連命運也能 輕易擊破
用這雙手去創造出黎明吧
以改變未來的勇氣與一成不變的心
I believe myself and precious emotion
憑這思念 打碎一切吧!


在啟程的 陽光中 彼此起誓
決意制裁這無盡的黑暗
雖然害怕 自己會陷入 孤獨的漩渦
但我已經決定不再回頭了


環繞四周的 景色如今 已逝去
緊牽你我世界的前方
用身體去感受 那些傾注而來的信號
此刻解放所有一切


Just truth in my heart
無論何時我都不會迷惘
因為心中有著堅定的信念
直視那漸漸揭開的 真實 絕不偏移視線
I'll reach the next stage to realize all.
請相信這羈絆吧

I believe myself and precious emotion
(我相信我自己和重要珍惜的情感)

Just truth in my heart(正義真理在我心中)

I'll reach the next stage to realize all.
(我將在下個階段實現全部所有)

 

發表時間:2011年12月31日 | 評論 (0) | 全文