キーワード 関数型 が含まれる動画 : 43 件中 1 - 32 件目
種類:
- タグ
- キーワード
対象:
【VOCALOIDオリジナル】関数型のように【巡音ルカ】
この曲は、巡音ルカさんに唄っていただいた恋愛劇です。
めちゃくちゃ頭はいいけど恋愛に奥手で、相手からの告白をただ待っている女子がいます。
しかも、遠回しな表現や奇をてらった発言は明示的にスルーしており、そのものズバリな、明瞭な告白を待っているという、面倒くさい心境を現しています。
果たして、彼女の想いは成就したのでしょうか…。
背景として、2024年2月、NHK-FMで放送された「今日も一日ボカロ三昧」、
その時、いち視聴者だったワテクシが8時間で作詞して、ラジオで読まれてしまった
曲がようやく完成いたしました。
当時、仕事関係で「関数型プログラミング(宣言型プログラミング)」を習得中だったときに、この曲の原型を思いついたことが発端です。
結局、歌詞にだいぶ手が入り、当時Xでポストしたものよりだいぶ変わってしまいました(笑)。
更に、動画に関しても、ほぼ自作で作っております(背景も)。
拙い作品ですが、ご愛顧の程をよろしくお願いいたします。
[使用環境]
(Yotubeの概要欄を参照)
https://www.youtube.com/watch?v=in40GmSRq5A
型を設計する【関数型で学ぶ始めてのプログラミング】
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
【きりたんの自由研究】軟骨
※ 実験器具で料理をする際は必ず“実験に使っていないもの”を使いましょう
引っ越しました.
撮影機材を引っ張り出すのが億劫でした.
sm41639464:前< mylist/71030384 >次:作成予定
youtube:https://youtu.be/pbvjYrBTBwA
投稿者の他の動画
化学 mylist/70539607
生化学 mylist/70970603
イベ等 mylist/71550188
・参考文献
宮澤陽夫,五十嵐脩,“新訂 食品の機能化学”,アイ・ケイ・コーポレーション(2016).
上代 淑人 監訳, “ハーパー・ 生化学 原書25版”,丸善株式会社(2001).
小原 哲二郎,細谷 憲政,“簡明 食辞林 第二版”,樹村房(1997).
田中 早苗,森川 博之,中村 晃也,“ポリプロピレンの分子量分布 第2報分子量分布の関数型および不均一性について”,高分子化學22巻248号(1965).
山崎 妙子,“ワニ料理”,日本調理科学会誌29巻2号(1996).
・使用音楽
鷹尾まさき,“わくわくクッキングタイム的なBGM”( nc132272 ).
・使用画像
たぶちさんち,“東北きりたん立ち絵素材”( im7029628 ).
ペテン師,“何かに似てる動きをするボイロ娘立絵”( im7847919 ).
かれい,“【素材】花隈千冬立ち絵”,( im11047397 ).
ほかん,“紲星あかり 立ち絵フリー素材”,( im7970397 ).
Pixabay,(https://pixabay.com/ja/ ).
・使用ソフト
株式会社エーアイ,SSS合同会社,“VOICEROID+ 東北きりたんEX”,株式会社AHS.
KENくん,“AviUtl”, AviUtlのお部屋( http://spring-fragrance.mints.ne.jp/aviutl/ ).
rigaya,“x264guiEx”, rigayaの日記兼メモ帳( https://rigaya34589.blog.fc2.com/ ).
【関数型で学ぶ初めてのプログラミング】リストを分析する【パターンマッチング再び!】
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
リストはティッシュである!【関数型で学ぶ初めてのプログラミング】
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
伊地知ニジカ ループ編
この記事では、コンピュータプログラムにおけるループ (英: loop) について説明する。ループとは、特定の条件下において特定の処理を繰り返すこと、あるいはそのように作られた制御構造のことを言う。日本語の名詞として「繰り返し」とも。特定の条件が成立している限り、特定の処理を繰り返し何度でも実行する。逆に言えば、条件が成立しなくなったときに、処理を中止する。
ループの、特別な形あるいは最も一般的な形として、無条件に繰り返す無限ループがある。詳細は無限ループの記事を参照。
ループは、繰り返しを継続するかどうかを判断するための条件式(反復条件)を持つ。反復条件がループ構造の始まりに置かれる場合、そのようなループ構造のことを前判定ループと呼ぶ。一方、反復条件がループ構造の後ろに置かれる場合、これを後判定ループと呼ぶ。しかし結局のところ以上のような分類は、プログラミング言語の発展の初期に、まず最初にどちらか片方だけが作られ、後から別のものが追加されたという歴史的由来に過ぎず、ループの「内側」のどこかに「ループの脱出」がある、という構造に一般化できるので前判定/後判定という分類は本質ではない(実際に、たとえばVisual Basicの「Do...Loop 文」は、どの場合にも対応するよう対称的に作られている)。単にその「内側のどこか」が、その前端か後端にある場合が多い、というだけである。
むしろ、ループの先頭で何らかのデータをファイルから読み込んで計算を開始し、その途中で、繰り返しのその回を打ち切り次の繰り返しに進む、あるいは繰り返しを終わる、といったこともよくあり(ダイクストラは、最後が途中で終わる場合を「n+1/2回の反復」と名づけた)、さらには入れ子になった内側のループの中から外側のループを終わる、というような処理にどう対応するか、が思案のしどころである。
関数型プログラミングのスタイルでは、再帰によってループを扱うことが多い。単純な再帰呼び出しはスタックオーバーフローを引き起こす可能性があるが、末尾再帰はコンパイラ最適化によってループに展開される。
フリーBGM・音楽素材MusMus https://musmus.main.jp
【番外編】OCamlのインストール【関数型で学ぶ初めてのプログラミング】
opam自体のインストールは次の一行でできます。
bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)"
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
OCamlは束縛が激しい!?【関数型で学ぶ初めてのプログラミング】
第4回!束縛が激しい、とは…?
★使用しているサイト
https://ocsigen.org/js_of_ocaml/lates...
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
【OCaml】再帰を理解するLEVEL2【関数型で学ぶ初めてのプログラミング】
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
【OCaml】再帰を理解する【関数型で学ぶ初めてのプログラミング】
階乗への尊敬を取り戻し、深淵に旅立ったOcamlに申し訳なさを感じるももこの回。
練習サイトリンクhttps://ocsigen.org/js_of_ocaml/lates...
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
【OCaml】ナイスガイ!?パターンマッチングの登場!【関数型で学ぶ初めてのプログラミング】
練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/latest/manual/files/toplevel/#code=KDEuMCwgMi4wKTs7CigyMDIzLCAxLCAxMCk7OwpsZXQgYXV0aG9yID0gKCJBdHN1c2hpIiAsICJJZ2FyYXNoaSAiLCAxNzQuMCwgNjEuMCk7OwpsZXQgKGZpcnN0bmFtZSAsIGxhc3RuYW1lLCBoZWlnaHQgLHdlaWdodCkgPSBhdXRob3I7OwpsZXQgYXZlcmFnZSBwID07OwpsZXQgYXZlcmFnZSBwID0KICBsZXQgKHgsIHkpID0gcCBpbgogICh4ICsuIHkgKSAvLiAyLjA7OwphdmVyYWdlICgyLjUsIDQuOCk7Owo%3D
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
if式は型でがんじがらめがイイ!【関数型で学ぶ初めてのプログラミング】
練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/latest/manual/files/toplevel/#code=KDEuMCwgMi4wKTs7CigyMDIzLCAxLCAxMCk7OwpsZXQgYXV0aG9yID0gKCJBdHN1c2hpIiAsICJJZ2FyYXNoaSAiLCAxNzQuMCwgNjEuMCk7OwpsZXQgKGZpcnN0bmFtZSAsIGxhc3RuYW1lLCBoZWlnaHQgLHdlaWdodCkgPSBhdXRob3I7OwpsZXQgYXZlcmFnZSBwID07OwpsZXQgYXZlcmFnZSBwID0KICBsZXQgKHgsIHkpID0gcCBpbgogICh4ICsuIHkgKSAvLiAyLjA7OwphdmVyYWdlICgyLjUsIDQuOCk7Owo%3D
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
関数型言語のキモ【関数型で学ぶ初めてのプログラミング】
明けましておめでとうございます□✨今年も数学と親しくなるため頑張っていきます□
まだ何が何だかわからぬまま進んでおりますが、今回はキモを学ぶようです。ここを押さえればもう完璧…!?
練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/lates...
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
衝撃!intは整数じゃない!!?【関数型で学ぶ初めてのプログラミング】
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
関数型プログラミングを書いてみよう【関数型で学ぶ初めてのプログラミング】
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)
【プログラミング入門】 Kotlin・Scala ってなに? | VOICEVOX解説
【概要】
今回はプログラミング言語の「Kotlin」と「Scala」を解説していきます!
【目次】
0:00 今回の内容
0:42 誕生経緯
1:41 特徴
4:53 始め方
6:04 簡単な実装例
6:43 学習方法
【紹介した教材】
■速習Kotlin
https://amzn.to/3RvJcj1
■Scalaスケーラブルプログラミング 第4版
https://amzn.to/3TURjXT
【紹介した動画】
■ Javaってなに?
https://www.nicovideo.jp/watch/sm41168611
【前回の動画】
■Perl ってなに?
https://www.nicovideo.jp/watch/sm41169234
【プログラミング言語解説 再生リスト】
https://www.nicovideo.jp/series/358355
【合成音声】
VOICEVOX(ずんだもん、四国めたん)
https://voicevox.hiroshiba.jp/
【立ち絵】
坂本アヒル 様
https://seiga.nicovideo.jp/user/illust/97452727
RustからVulkanを呼んでテクスチャを表示してみた
キー操作でグルグル
参考:
Rust: https://doc.rust-jp.rs
プログラミング言語 Rust, 1st と 2nd Editionを一読した程度。
(日本語化して頂いた方々に感謝です!!)
Vulkan: https://github.com/SaschaWillems/Vulkan
ここのC++コードを参考にしてRustでコーディングしました。
テクスチャとシェーダは、ここの物をそのまま流用させて頂きました。
(SaschaWillems様感謝です!!)
Rust:
リソース解放後の参照など、自分の書いたコードの危険なところを懇切丁寧に教えてくれて、
メモリ安全なコードへと導いてくれるプログラミング言語。
特徴:
・システムプログラミング言語
・GCなし
・例外なし(エラーは戻り値で返す。返せない場合は、たぶんパニックで終了)
・継承なし
・NULLポインタなし(unsafeエリアを除く)
・所有権とライフタイムでメモリ安全
・値のデフォルトはイミュータブル
学習コスト:
所有権以外の学習コストは、他のプログラミング言語と大差ないかと…
所有権に関しては、コンパイラが懇切丁寧に教えてくれますw
関数型言語寄りですが、今まで関数型言語の経験がなかった私でもなんとか書けています。(多分
今田・クレイマン・耕司先輩BB.lisp
初関数型言語です。
色々ガバガバなのはホボーグゆるして
クロッグ兄貴広告ありがとナス!
小飼弾の論弾 2016/4/8 後半「『ゾンビの国』になりつつある日本で、どう生きる?」
ブロガー・小飼弾が、プログラマー脳で今時のニュースを一刀両断する!
プログラマー/書評家/ブロガーの小飼弾が帰ってきた
社会問題から科学、IT、書評まで、四方八方に語り散らかす90分
「404 Blog Not Found」で知られるブロガー小飼弾が、活動を再始動します。
この「論弾」では、小飼弾のプログラマー脳で今時の社会問題を一刀両断、科学・ITの理系ネタも満載です。
書評コーナーでは、膨大な蔵書からセレクトしたとっておきの本を紹介。
どこに向かって飛んでいくかわからない、小飼弾の「超理系」思考に、あなたはついてこられるか?!
■ハイライト
・売春はよくて、買春はダメ?
・確信犯?魚のように泳げる人工エラ「Triton」の集金キャンペーンが一旦中止
・Windows 10でLinuxが動くことの意味は?
・次のトレンドは「BOT」?
・プログラマーの弾さんは、どんなBOTに興味がある?
・視聴者からの質問:国家公務員試験に出てくる数的処理に強くなるためには?
・視聴者からの質問:VRについてどう思いますか?
・視聴者からの質問:農業や製造業と違ってITは立地に影響されないはずなのに、なぜ東京に集中するのでしょうか?
・視聴者からの質問:現在の日本は「移りゆく30年」? 新しい日本が始まるとしたらいつから?
・視聴者からの質問:アップルの開発したプログラミング言語「Swift」がAndroidで動くようになりますか?
・60年前に設計されたプログラミング言語を学ぶべき理由とは?:書評『はじめてのLisp関数型プログラミング』
【VOICEROID+】IT土方の戯言 Part4「関数型プログラミング」【琴葉 茜・葵】
よく分かりません!
mylist/54014233
参考
Wikipedia 関数型言語
https://ja.wikipedia.org/wiki/関数型言語
Wikipedia Haskell
https://ja.wikipedia.org/wiki/Haskell
なぜ関数プログラミングは重要か
http://www.sampou.org/haskell/article/whyfp.html
[入門]関数プログラミング―質の高いコードをすばやく直感的に書ける!
http://gihyo.jp/dev/feature/01/functional-prog
関数型プログラミングの基礎知識(仮題)
http://qiita.com/lambdalice/items/124199b62d66d7c745a1
関数型プログラミングとは結局何なのか
http://blog.kokuyouwind.com/archives/808
【鏡音リン】Love Is Special Pudding【オリジナル】
クリスマスを終え、年も明けました!クリボッチに落ち込んでいた皆様も、バレンタインに向けて心を切り替えていきましょう。
毎日お砂糖に溺れて生活していれば、気になるあの子からお菓子がもらえるかも!?
そんな関数型スイーツラブソングです!!
手続き型の1作目→sm21301044
オブジェクト指向の2作目→sm21811563
初心者が知るべきJavaScriptの魅力はたった2つ!
自分が書いた↓の記事を読みながら解説する動画です!
http://mikumikuplay.com/it/javascript_goot_2point/
・内容
1. 構文の魅力
プロトタイプ型オブジェクト指向
関数が第一級オブジェクト
連想配列(ハッシュ)とオブジェクトが同じ
2. 動作するプラットフォームの魅力
さぁJavaScriptを学ぼう!
ユニティちゃんと3Dプリンタで!ピアノの鍵盤でPG!Scalaのオブジェクト!
はてブのIT系記事を読んで最新の技術トレンドをキャッチする生放送の動画だお
内容
F#やればいいじゃない
swiftに関数型の概念は普通にあるよw
コードを算譜って訳していた時期もあったのだよ
今日はCGの会社の会社説明会行ってきた
二次受け、三次うけなのに平気で直請け言っちゃうブラック企業
クロームOS無料だよね。Ubuntuなくなっちゃいそう
とりあえずキーボード内とググれないやん
マイリス mylist/44222969
co2268886で放送してるお
初音ミクのゲーム作ってるお
http://mikumikuplay.com/
秘密結社Metasepi作戦会議NetBSDのデバイスドライバをHaskellで書いてみよう
※もしアップロードがマズかったらコメントでお知らせ下さい。すく削除させて頂きます。 >関係者様
オープンソースカンファレンス2014 Tokyo/Spring - イベント案内 | 2014-03-01 (土): 秘密結社Metasepi作戦会議 -- NetBSDのデバイスドライバをHaskellで書いてみよう!
https://www.ospn.jp/osc2014-spring/modules/eguide/event.php?eid=4
Metasepi team meeting #13: NetBSD driver using Haskell
http://www.slideshare.net/master_q/metasepi-team-meeting-13-netbsd-driver-using-haskell
□ 高画質版: http://youtu.be/Nt-4XIL1J1c
□ マイリスト IT系勉強会聴講メモ: mylist/36316925
【理工学m@ster祭り】絵理と律子のおいしいカリー 2/2
理工学m@ster祭り用, カリー動画の2本目です.
っていうかタイトルに堂々とカリーって書いてある割にカリー化の話を殆どしていないですねこれ;;
しかしとうとう私の動画も30分の大台を超えてしまいましたか…ふーむ…
おいしいカリー前編 : sm11987747
さいころころころ : sm11894883
律子のよくわかるフーリエ変換 : mylist/17336055
理工学m@ster祭りまとめリスト : mylist/20771055
ソースコードはこちら http://loda.jp/euli/?id=24
Scalaの学校
高木社長「今週の流行は……Scalaだ!」
「めだかの学校」という童謡の替え歌です。
---- 質問コメントへのお答え
・曲自体は替え歌なのでオリジナルというわけではありませんが、音源は私(jgoamakfP)がDTMで作成したものです。
・「Erlangの歌」も私の作です。
・2011年5月29日追記
「IT系替え歌」というマイリストを作りました。mylist/25461341
棒リモコンでネギ振ってみた (F#+XNA)
VS2010を入れてみたら謎の言語が増えていたので書いてみた
関数型言語とやらは初めてなのでおかしいところがあると思われ。
ソース (工事中) → http://nazocode.web.fc2.com/
素材をお借りさせていただきました。ありがとうございます。
画像 : ドット絵はちゅねミク (袴っ娘推進委員会 様)
関連動画 → mylist/16159193
さあ家に帰ったらSchemeのコード書いてみよう
Shibuya.lispテクニカルトーク第4回 (2009/11/07)
ひげぽんさんによる「さあ家に帰ったらSchemeのコード書いてみよう」です。
次: 「Haskell Nightについて」 (sm8746384)
前: 「他言語で作ったWEBページをLispでも!」 (sm8746785)
マイリスト: mylist/15739795
MLでネギを振ってみた
関数型言語MLでネギを振らせてみました。 BGMはおなじみIevan Polkka:sm982882
LT『僕の見た関数型言語』ヨシオリ
ファンクション倶楽部2008秋イベント ~lambda the world~
http://atnd.org/events/99
オブジェクト倶楽部2008秋イベントでもあったもの。
前: sm5103200
LT『関数型オブジェクト指向言語Scala入門』牛尾剛&羽生田栄一
ファンクション倶楽部2008秋イベント ~lambda the world~
http://atnd.org/events/99
オブジェクト倶楽部2008秋イベントでもあったもの。
前: sm5103187 / 次: sm5103216