Arai

こんにちは

Arai

こんにちは

    マガジン

    • 土浦一高の電子通信部

    記事一覧

    ソフトウェア・ライセンスの命題論理

    ソフトウェア・ライセンスのプランを変更する際に命題論理を用いて,形式的に機能制限の設計を行うことができる. たとえば,次のようにプランが再設計されたものとする.…

    Arai
    1か月前

    土浦一高3年生のためのVintage小テストカレンダー(後編差分)

    上の記事で配信した Vintage 小テストカレンダーの後編の差分を配信します。 カレンダーへの追加の方法は上の記事をお読みください。

    Arai
    2年前

    文化祭のデザイン物について

    備忘録として。 ソーシャルメディアのアカウント管理は、Hootsuiteなどのソーシャルメディア管理ツールを使うことを推奨する。 理由は、文化祭で管理するアカウントが複数…

    Arai
    2年前

    機能は後から有料化してはいけない

    Nanaという音楽系ソーシャルネットワークサービスを知っているだろうか。 https://nana-music.com/ 歌ってみたをアプリで作れるという主に若者向けのサービスだ。 このア…

    Arai
    2年前

    記事を部活動のソーシャルメディアに投稿するショートカットを作成しました

    みなさん、iOSのショートカットアプリは使っていますか?毎日行うルーティーンを自動化してくれるAppleのアプリです。 今回は、部活動のコミュニケーションツールアプリ…

    Arai
    2年前

    文化祭公式Twitterアカウントの自動リツイート等について

    こんにちは。@yudukikun5120です。今回は、文化祭公式Twitterアカウントの運用に関して述べたいと思います。 一高祭(茨城県立土浦第一高等学校文化祭)の特徴本文化祭の…

    Arai
    2年前

    Micro:bitをLINE Beaconとして利用する

    こんにちは。今回は、BBC Micro:bitとLINE Beaconについて学んでいきたいと思います。 動機昨年度の文化祭より、Google Formでアンケートフォームの運用を開始したのです…

    Arai
    2年前

    [解説]小テストの予定をカレンダーに追加する

    公開した「土浦一高2年生のためのVintage小テストカレンダー」という記事の背後について書きます。 制作動機iCalenderについて学びたかったことと、小テストの予定を確認…

    Arai
    2年前

    土浦一高2年生のためのVintage小テストカレンダー

    本記事の対象は、令和元年度茨城県立土浦第一高等学校第二学年の生徒です。 本記事では、英語科小テスト「英文法・語法 Vintage 小テスト」の予定をスマートフォンのカレ…

    Arai
    2年前

    note始めます

    こんにちは。私は茨城県立土浦第一高等学校の電子通信部の荒井(@yudukikun5120)と申します。 この度、本部活動を皆様にお伝えするために、noteを始めることにしました。…

    Arai
    2年前

    ソフトウェア・ライセンスの命題論理

    ソフトウェア・ライセンスのプランを変更する際に命題論理を用いて,形式的に機能制限の設計を行うことができる.

    たとえば,次のようにプランが再設計されたものとする.

    $$
    \begin{align}
    p &\implies v \\
    q &\implies v \lor w
    \end{align}
    $$

    ここに,$${p}$$や$${v}$$などはプランの種名辞である.上の式は,プラン$${p}

    もっとみる

    土浦一高3年生のためのVintage小テストカレンダー(後編差分)

    上の記事で配信した Vintage 小テストカレンダーの後編の差分を配信します。

    カレンダーへの追加の方法は上の記事をお読みください。

    文化祭のデザイン物について

    備忘録として。

    ソーシャルメディアのアカウント管理は、Hootsuiteなどのソーシャルメディア管理ツールを使うことを推奨する。
    理由は、文化祭で管理するアカウントが複数個あるとそれぞれに投稿の時間設定をかけることが大変になるからだ。Hootsuiteなら同時投稿もできる。そして有料版であれば、投稿権限を付与するときにパスコードなどの認証情報を渡す必要がない。これはコンプライアンス上重要である。

    もっとみる

    機能は後から有料化してはいけない

    Nanaという音楽系ソーシャルネットワークサービスを知っているだろうか。
    https://nana-music.com/
    歌ってみたをアプリで作れるという主に若者向けのサービスだ。

    このアプリのレビュー欄を見ていると、その酷さに驚いた。
    「シークレット機能を有料化するのは金儲け」だの、「課金を親に言うのは学生にとって嫌なもの」だの醜い言葉が目立つ。伊武雅刀「子供達を責めないで」の歌詞に出てくるよ

    もっとみる

    記事を部活動のソーシャルメディアに投稿するショートカットを作成しました



    みなさん、iOSのショートカットアプリは使っていますか?毎日行うルーティーンを自動化してくれるAppleのアプリです。

    今回は、部活動のコミュニケーションツールアプリBANDと部活動の公式Twitterアカウントに記事を一度で投稿できるショートカットを作りました。BAND APIを利用している所がミソです。

    詳しくは下の記事に書いてありますので、お読みください。

    下の記事ではTwitte

    もっとみる

    文化祭公式Twitterアカウントの自動リツイート等について

    こんにちは。@yudukikun5120です。今回は、文化祭公式Twitterアカウントの運用に関して述べたいと思います。

    一高祭(茨城県立土浦第一高等学校文化祭)の特徴本文化祭の組織の単位は、基本的に委員会です。その他、クラス企画の組や、部活動の部がありますが、それらも一の委員会の下に置かれる形となっています。

    代表の役割を果たしているのが「運営委員会」であり、その下に数々の委員会が存在しま

    もっとみる
    Micro:bitをLINE Beaconとして利用する

    Micro:bitをLINE Beaconとして利用する

    こんにちは。今回は、BBC Micro:bitとLINE Beaconについて学んでいきたいと思います。

    動機昨年度の文化祭より、Google Formでアンケートフォームの運用を開始したのですが、流入点を文化祭ウェブサイトに限っていたこともあり、芳しい結果を得ることができませんでした。

    そのため、LINE Beaconを校門に設置し、入場時にはパンフレットなどのメッセージを、退場時にはフォー

    もっとみる

    [解説]小テストの予定をカレンダーに追加する

    公開した「土浦一高2年生のためのVintage小テストカレンダー」という記事の背後について書きます。

    制作動機iCalenderについて学びたかったことと、小テストの予定を確認するために紙を取り出すのが億劫極まりなかったことです。

    Google Calendar か iCalender か 自分以外の人に使ってもらいたかったので、Google Calenderで新しいカレンダーを作成し、公開用

    もっとみる

    土浦一高2年生のためのVintage小テストカレンダー

    本記事の対象は、令和元年度茨城県立土浦第一高等学校第二学年の生徒です。

    本記事では、英語科小テスト「英文法・語法 Vintage 小テスト」の予定をスマートフォンのカレンダーアプリで確認できるようにします。

    現在(令和2年1月19日)時点では、来年度(4月)以降の予定が未定です。

    追加する方法LINEのブラウザではなく、SafariやChromeなどのブラウザをお使いください。

    1. 以下

    もっとみる
    note始めます

    note始めます

    こんにちは。私は茨城県立土浦第一高等学校の電子通信部の荒井(@yudukikun5120)と申します。

    この度、本部活動を皆様にお伝えするために、noteを始めることにしました。

    そもそもどのような活動を行っているのか?「電子通信部」という名前は少しわかりづらいですが、情報技術や電子工学が好きな人が集まっている部です。ゲームを作っている人もいます。

    昨年の文化祭(第72回 一高祭)では、文化

    もっとみる