キーワード なにこれ が含まれる動画 : 18613 件中 129 - 160 件目
種類:
- タグ
- キーワード
対象:
【splatoon3】運直とは言わせない!
こんばんは なにこれ
⇓メンバー⇓ (敬称略)
こうはく https://www.nicovideo.jp/user/77881909
たけよ https://www.nicovideo.jp/user/78455145
のや https://www.nicovideo.jp/user/38501856
ef(チョコミントあおい) https://www.nicovideo.jp/user/11110415
前回もたくさんのコメント、いいね、広告ありがとうございました!とってもモチベにつながります!
YouTube版⇒ https://youtu.be/yThx5aayB0M
かわいい立ち絵⇒ https://seiga.nicovideo.jp/seiga/im10771711
きり誕2024(遅刻)【ソフトウェアトーク劇場】
な に こ れ
3姉妹がきゃいきゃいする感じの考えてたけどずん子がいなかった。
ねぎさん、コロラド州さん、PT1182さん、天翔朱雀さん、foXさん、こばっとさん 広告ありがとうございます!
他にもいいねやコメントしてくれた方もありがとうございました!!
単発物:series/398966
東北きりたん:VOICEPEAK
東北イタコ:VOICEROID2
【MMD刀剣乱舞】チピチピチャパチャパマメ【まめのすけ】
マメマメチャパチャパ
mylist/17871895
【VOICEPEAK解説】ずんずん命題論理(6)証明の3
いろんな証明体系を見るのだ。なにこれ、え、無理。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20240213_応答)
コメントありがとうございます!
(1) 8:27周辺
Q. 1行目が「0:¬(P∨Q)」となっている。が、正しくは「¬¬(P∨Q)」では?
A. たぶん、どちらでも大丈夫です。というか、お示しの後者の方がより正統派だとおもいます。
タブローは意味論と密接に語られることがあり、その際に前者のように真理値が併せて表記されることがあります(cf. 丹治2014、戸次2012)。
今回は、そのような意味論寄りのタブローを取り上げて、「タブローに意味が入ったとき、これは意味論なのか統語論なのか」という問題に繋げたかったので、真理値を併記するよう表記しました。
ただ、枝を閉じる条件について、前者は同形式の命題が異なる真理値を持つ、後者は肯定と否定のリテラルが同時に出る、という異なりがあるため、動画内の表現はやや混在しております(お見逃しを〜〜〜!!!)。
(2) 13:28周辺
C. 古典論理の完全性と算術の完全性は異なりますよ。
A. ばれちった……! ごまかしが露呈しましたね、へへへ。第9回か第10回で盛り込みます。
私の現在の理解をお話しします。Pを証明体系、Aを命題としましょう。
・(意味論的完全性)古典論理の完全性は、概略「Aが恒真であるならば、Pで証明可能である」です。換言、論理体系が不完全であるとすれば、それは「Aが恒真であるからといって、Pで証明可能であるわけではない」となります。
・(統語論的完全性)たいして、Goedel的な不完全性(第一不完全性定理における)は、概略「Pにおいて、Aも¬Aも証明できない、そのようなAが存在する」です。ここには、Aの恒真性の概念が含まれません。
(3) 投稿者から
Q. ここで、統語論的完全性に①二値原理、②排中律を加えると、意味論的完全性との関連はどうなるでしょうか? また、これらを加えることは可能でしょうか? もしお考えのことがあれば、コメントお願いします。
(20240216_追記)
15:43 議論ありがとうございます! たすかります。
まえ……https://www.nicovideo.jp/watch/sm43183004
つぎ……https://www.nicovideo.jp/watch/sm43402491
ずんずん命題論理……https://www.nicovideo.jp/series/397548
【MMD刀剣乱舞】くだぎつね体操第一【管狐s&源氏】
まめまるかわいい......
ちがっ まめのすけ かわちぃ
髭切 膝丸 兄者の大根 こんのすけ くろのすけ もものすけ まめのすけ ←作ってみた
mylist/17871895
秘密のステージ、Out Of This Dimensionへ飛んだ雇われ遊撃隊〈STAR FOX〉part12
どうもライズです!
スターフォックスついに最終回!
最後は謎の空間、Out Of This Dimensionへ行きます!
マジで何なのかわからない空間です。
これフォックスどうなっちゃうんだろう…。
それにしても童謡がいくつも流れてきてなんかわけわからなくなってきた…。
ツイッターやってます! https://twitter.com/RIZEmaicra
アリ用垢 https://twitter.com/RIZEantKINGDOM
いいねしていただくとスターフォックス実況で一番印象に残っていることを話します。
【ダンガンロンパ】ロンパガールズ(霧切・舞園・七海・罪木・赤松・春川)で愛包ダンスホール【MMDD】
こちらのダンスモーションが滅茶苦茶好きで、どうしてもロンパ陣営で見たかったので
自給自足ですw人選は相変わらず完全に自分の趣味です
歌:HIMEHINA様
https://www.youtube.com/watch?v=bnofYmfKLeo
MMDモーション:StudioLaRa様
カメラ:Cocoon 様
ステージ:KAMO様 ディスコードの職人様
モデル:自作
他のKKVMD作品→mylist/65798608
【アプリ】ヒカマニのボイスアプリが出たー!出た…!出ったー!!100ファイル以上の音声
遂に神ゲーが出たー!出た…!出ったー!!
AppStore https://apps.apple.com/jp/app/id6476043468
Android https://play.google.com/store/apps/details?id=com.kaede.HikakinManiaVoice2
星5だなぁ、そうに決まってる。音声アプリの域を遥かに超えているので。インストールして、やぁりましょう!
...あ!あ~1つ気づいちゃったこれ。バグがナイ!
・つかもう『最高音質.wav』形式なんだけどなにこれ。は?チョットマッテチョットマッテ…
・初心者にも優しい『スターターキット収録』で僕にも出来ましたぁ。←ドヤ顔してます
・やりこみ要素『実績解除』で、非常にもう、しじょーー↑に抜ける!
・大音量で、耳が気ぃ持ちぃぃ。あそぶ抗うつ剤だね、インストールします。
・『100個以上の音声』でスマホがヌプヌプしてる!(順次、音声追加)足りな~い。100個じゃ足りな~い。全然足りない。
・楽しいクリア率達成、過去と未来の狭間で、ポイント溜めてね、言うまでもない←ついにおかしくなったw
ーーーーーーーーーーーーーーーーーー
日本の有名なVtuber『hikakin_mania』の音声アプリ!
100以上の声を聞くことができます!
『hikakin_mania』はいつもあなたのスマホの中に!
【特集はこちら】
-100以上の音声
-スペシャルムービー
-フリースタイルモード
ーーーーーーーーーーーーーーーーーー
『ヒカマニ』とは?
『ヒカマニ』は日本で有名なVtuberの一人です。
彼の特徴は、高身長、イケメン、イケボ、などなど、、、
でもとってもかわいいんです!!
これで、いつでもこのアプリで彼の声を聞くことができますね!!!!!
大好き!!
チャンネル登録お願いします□
All Apps! (全てのアプリ)
□ https://games.kaedeee.com
□ 30K+ followers!(□ は3万フォロワー!)
□ https://twitter.com/kaedeee_you
Others(その他)
Kaede Blog(かえでブログ)
□ https://kaedeee.com
だーれだ!
ぼーくだ
立ち絵(ユメのオワリ様)
千冬:im11047388
花梨:im11123704
六花:im11143721
みんちりえ様:https://t.co/75dXZGgKdP
効果音ラボ様:https://soundeffect-lab.info/
【アークナイツ】星6オペレーターオンリーで余裕だろと思ってました... ドクターずんだもん奮闘記【火山と雲と夢色の旅路 SL-S-5強襲 攻略編】
なにこれ(なにこれ)
前回→sm43334691
【お借りしたもの】
立ち絵:坂本アヒル様
VOICEVOX:ずんだもん
VOICEVOX:四国めたん
【音声素材】
効果音ラボ様
ニコニ・コモンズ
X(旧Twitter)はこちら!
https://twitter.com/DENDOUGAMU93459
youtubeチャンネルはこちらから!
https://www.youtube.com/channel/UCpbX_e7GanFUmuBAm9w-5aw
【ダンガンロンパMMD】シンデレラ【春川魔姫】
⚠私の投稿するコンテンツ全ての転載・保存・使用を禁じます。
⚠All content I post may not be diverted, saved, or used in any way.
春川魔姫ちゃん、お誕生日おめでとうございます!
恋する乙女にめっぽう弱い
お借りしましたものは動画内・コンテンツツリーにて
本動画制作にあたって、お借りさせて頂きました素敵なコンテンツを制作されたクリエイターの皆様に、この場をお借りして感謝申し上げます。誠にありがとうございました。
何かありましたらX(旧Twitter)@xNA_CHiAまでご連絡お願い致します。
投稿動画一覧→https://www.nicovideo.jp/my/mylist/75773856?ref=pc_mypage_mylist
髪長い女の子すごく好き
とんとんまーえ!- 芽々子&もちづき -【 #歌ってみた 】
Twitterでもちづきちゃんが
「いつかコラボしたい人」ってリストに
入れてくれたのがきっかけでコラボ実現しました!
ゆるふわワールド全開! たくさん聴いてください!
Youtube▶準備中
*ーーーーーーーーーーーーーーーーーーーーーーーー*
Orijinal さつき が てんこもり 様
▶︎sm20615010
Song 芽々子 user/123656874
mylist▶︎ mylist/73439421
https://x.com/memeko_1030
Song & MIX & Movie もちづき user/120724261
series▶︎ series/403319
https://x.com/Mochi_dzuki
姫様“拷問”の時間です 第4話
魔王が満足する情報を姫から引き出せないトーチャーは、“拷問”の腕が落ちたのでは…?と疑われていた。技術を量るべく、自らを“拷問”せよと迫る魔王に対して、トーチャーが繰り出す一手は如何に。新たに現れた拷問官、武器職人のギルガによる“拷問”相手は姫ではなくエクスだった! エクスは姫の二の舞いにならず、王国の秘密を守り通せるのか!? ほか、クロルやマオマオちゃんも登場!
無料動画や最新情報・生放送・マンガ・イラストは Nアニメ
姫様“拷問”の時間です
2024冬アニメ アニメ無料動画 アニメランキング
声優情報 白石晴香 小林親弘
【ダンガンロンパMMD】2:30【リメイク祭2024】
涙で消費しないでね
リメイク元動画:sm41651024
主なリメイク部分:エフェクトをがっつり増やしました。お目目もキラキラしてもらいました。
(リメイク元動画はMMD導入・初回起動した日から3日間で作成・投稿した勢い溢れる動画です。)
お借りしたものはコンテンツツリーと動画内にて。(敬称略)
【MMD刀剣乱舞】8HIT【広光刀】
同じ広光作の大倶利伽羅には強い憧れを抱く
_人人人人人人人人人人人人人人人人人人人人人人_
> 同じ広光作の大倶利伽羅には強い憧れを抱く <
 ̄Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^ ̄
広光師弟に踊ってもらったよ!!!!
手合わせとか回想とかの台詞ネタバレとかがあるよ!
音楽
【鏡音リンレン】8HIT【オリジナル/ワンオポ】 - ニコニコ (nicovideo.jp)
モーション
【APヘタリアMMD】8HIT【合作&配布】 - ニコニコ動画 (nicovideo.jp)
【VOICEROID劇場】来客ゆかりさん~二人同時~
年末のお昼ごろ、お留守番?をしていたゆかりさん。
そこへお客様が訪ねてきたのですが…
akihiyoさんの立ち絵を使わせていただきました。
https://seiga.nicovideo.jp/user/illust/20132633
使用した音声・歌声合成ソフト
A.I.VOICE 結月ゆかり
VOICEVOX 春日部つむぎ WhiteCUL
VOICEROID 東北きりたん
VOICEPEAK 東北ずん子
ネコデッキ制作(テーマクロニクル)
挫折した!(編集を)
またやっちまったー
万歳エディション用音声を取り込んだ…
ナニコレ読めないんだけど( 'ᄊ')
【アシスト車載】\(ず・ω・だ)/ゆるチャリそして、宮城県 140個目 圧倒的実家感
ずんだを食べたりしながら宮城県をゆるチャリするだけです
2023年11月01日(水)
昨日(2024年1月28日)ナニコレ珍百景で 実家のようなラーメン店として紹介されていたお店「ま心 えんどう」さん
ラーメン大好き小泉さんでも11巻に登場したお店
店主の入院でしばらく閉店していましたが、今日から再開です!行ってみましょう!
ま心 えんどう(みやラボ!):https://www.miyalabo.jp/shop/shop.shtml?s=2880
ヨークベニマル仙台六丁の目店:https://yorkbenimaru.com/store/details/sendairokuchonome/
ナチュリノ(ずんだシェイク):http://www.natu-lino.jp/