更新：2019/05/31　カットオペレーターの動作の部分を修正 こんにちは、ももやまです！ 今日もPrologの記事です。 今回はPrologで使われるカットオペレーター ! についてわかりやすくまとめてみました。 カットオペレーターの動きについて例題などを使ってわかりやすく説明しています。 また、最後に動きが理解で...

こんにちは、ももやまです！ 今回は論理プログラム(Prolog)におけるリスト構造について簡単に説明していきたいと思います。 ★注意★ この記事では、数式で論理プログラムを表す場合、 ＼( x,y,z,w,u,v ＼) は変数(Prologでいう大文字の変数） ＼( a,b,c,d ＼) は定数記号(Prologでいう...

こんにちは、ももやまです！ 今回は高速なソートアルゴリズムの1つであるヒープソートのアルゴリズムについて分かりやすくまとめたいと思います！ １．ヒープソートってどんなソートなの？ では、ヒープソートはどのようにしてソートしていくのかについて、手順ごとに図を使って丁寧に説明していきたいと思います。 今回は、 a = {1...

こんにちは！　ももやまです！ 前回に引き続き、差分方程式（漸化式）についてです。 前回説明した隣接３項間や隣接４項間の差分方程式は = 0 の形になっていました。 今回は = 0 のパターンではない右辺に残骸があるパターンについて説明していきたいとおもいます。 なお、「= 0」のパターンはもっと簡単に解くことができます...

こんにちは！　ももやまです！ 漸化式（差分方程）は数Bで少し習ったと思います。 今回は、 高校で習う漸化式の解き方 微分方程式っぽく解く別の解き方 の2種類紹介したいと思います。     １．差分方程式（漸化式）とは 皆さんは高校時代に数学Bで漸化式を習いましたよね。*1 差分方程式（漸化式）とは、ある答えを、少し前の...

記事修正　2019/05/25　一部極限式やオーダーの ＼( n ＼) が ＼( x ＼) になっていたのを修正 こんにちは、ももやまです。今日は久しぶりに情報系のまとめです。 皆さん、効率のよいアルゴリズムってどんなアルゴリズムだと思いますか？時間がかからない、メモリを食わない、などなど様々な評価の仕方があると思いま...

こんにちは、ももやまです。 今回は行列式についてまとめました。少しボリュームが多い記事となってしまったのでゆっくり見てください！ 行列式とはどんなものなのか、行列式の計算の仕方、基本変形の種類、覚えていたら便利な行列式の性質、行列式の応用（外積の計算、行列式を用いた階数の判定、固有値算出）を載せています。 前回の余因子...

こんにちは、ももやまです！今回は離散数学でよく使われる証明法である数学的帰納法についてまとめてみたいと思います！ 離散数学と書いてありますが、数Bで習う帰納法と同じ書き方と大学数学用の書き方をわけているので高校生の皆さんもぜひ見てください！ 数学的帰納法は数Bや数検2級でも出題されているので確実に理解できるようにしまし...

こんにちは。ももやまです。 今回は少し短めですが、極限における関数の発散速度についてまとめてみました。 一応高校生の内容なのですが、計算するときにロピタルの定理を使ってしまっているので、まだロピタルの定理を習っていない人はおとなしく別の方法で計算をしてください。*1 グラフは、以下のサイトを使って描画しました。 www...

たまには数学とは全然関係ない内容を。 先日このようなツイートが有名になりました。 If someone puts down a +4 card, you must draw 4 and your turn is skipped. You can’t put down a +2 to make the next pers...