ぐぬぬとは：

アニメ版「苺ましまろ」第2話「アナ」において、松岡美羽からニックネームとして「穴骨洞」と命名されてしまった時にアナ・コッポラが見せた表情（のアップショット）。

https://dic.pixiv.net/a/%E3%81%90%E3%81%AC%E3%81%AC

Gununubooru
Google画像検索

元祖ぐぬぬ アナ・コッポラ

＠PAGESがいつの間にかサービス終了していた。
先月（2月）の末で終わっていたようだ。
WordPressを使い始めた頃のサーバーの一つがたしか＠PAGES。
最近はずっと放置だったが、一応アカウントは持っていた。
サービスを終了するよというメール連絡には気づかなかったのだが、ぐぐってみると事前のメール告知はあったらしいので、おそらく迷惑メールに紛れて見落としたのであろう。

＠PAGES、サービス終了

メールヘッダー解析ツール：Google Messageheader

迷惑メール報告フォーム（送信者詐称メールに注意）：
Gmailから送られてきた迷惑メール リンク
yahooメールから送られてきた迷惑メール リンク
Docomoから送られてきた迷惑メール リンク

なにを今さら？ なんだが、ちょっと「あれ？」だったことがあったので、覚書ってことで。

1～NまでのN個の点があるとする。
この時、区間の数は N-1 個。
3次関数の係数は4個なので、求めたい係数の個数は 4*(N-1) = 4N-4 個。

制約条件は以下の通り。

1. 各区間の始点 x_i での値は元の点の y_i と等しい。
   f_i(x_i) = y_i （iは1～N-1）
   これが N-1 個の制約条件。
2. 各区間の終点 x_i+1 での値は元の点の y_i+1 と等しい。
   f_i(x_i+1) = y_i+1 （iは1～N-1）
   これが N-1 個の制約条件。
3. 両端を除く各点で1階微分が等しい。
   f'_i(x_i+1) = f'_i+1(x_i+1) （iは1～N-2）
   これが N-2 個の制約条件。
4. 両端を除く各点で2階微分が等しい。
   f''_i(x_i+1) = f''_i+1(x_i+1) （iは1～N-2）
   これが N-2 個の制約条件。
5. 両端の区間の端っこでは2階微分がゼロ。
   f''₁(x₁) = 0
   f''_N-1(x_N) = 0
   これが2個の制約条件。

1～5までの制約条件の数を足すと 4N-4 個。
つまり未知数の数と等しく、一意に決まる。

めでたし、めでたし。どんとはれ。