{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-08 00:04:31.622Z","domain":"mathtod.online","followerCount":44,"followers":"https://mathtod.online/users/yoriyukiy/followers","following":"https://mathtod.online/users/yoriyukiy/following","followingCount":19,"icon":"https://f005.backblazeb2.com/file/mathtodonassets/accounts/avatars/109/366/825/841/424/430/original/ab9b402149db379a.jpeg","id":"c3nmfjlfx85m41d","inbox":"https://mathtod.online/users/yoriyukiy/inbox","iri":"https://mathtod.online/users/yoriyukiy","isLocal":false,"last_fetched":"2026-04-06 08:06:50.735Z","outbox":"https://mathtod.online/users/yoriyukiy/outbox","preferred_username":"yoriyukiy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAquJIjlYVUqLLImF6aeoE\nZOnxqCuDpOVCNaUjzxZMSk+ZTtCSeQqeXlQaU5IlK+CxJRfTw+CLXvEPzYlPFh9G\nYSjLCJ3BlxEaxNqmFV7iDva7dpea6IvbZO7XgQhWvAYtFAjJVQ12r8EJ4y00bxNd\nRQVFVMmQMClPjkB0+umN87ypql3e0MiFKbJW9gnQjcK/q6q41OrO19GQuSpzj9ij\n0Vq9yYMgE11+qQ09M2ENnv2rqV5hooNOt9M04cp1yfvxBM/+eBly0bU2yrR2JzDJ\nM4zfqpOBdPc6GaUKt+PIwOeUFNV9SqKry7Fp8XLKi1HH2Joocg+s9it5E+Ybm9tm\nBwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

福井大学工学部の情報工学コースで准教授をしています。理論計算機科学・ソフトウェア工学・数理論理学と関連する哲学的話題に興味があります。福井で私と勉強したい人は連絡ください。
研究分野
- ソフトウェア検証・テスト・アシュアランス
- 限定算術や非古典論理・プログラミング言語理論

English: @yoriyuki

","updated":"2026-04-06 08:06:50.736Z","user":"","username":"yoriyuki"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 15:39:06.249Z","domain":"mastodon.social","followerCount":31,"followers":"https://mastodon.social/users/yoriyuki/followers","following":"https://mastodon.social/users/yoriyuki/following","followingCount":37,"icon":"https://files.mastodon.social/accounts/avatars/110/593/390/147/780/430/original/fd212010ebb27487.jpeg","id":"c0e2ldqbyx3plo8","inbox":"https://mastodon.social/users/yoriyuki/inbox","iri":"https://mastodon.social/users/yoriyuki","isLocal":false,"last_fetched":"2026-04-06 08:06:50.868Z","outbox":"https://mastodon.social/users/yoriyuki/outbox","preferred_username":"yoriyuki","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnVExMWBvFxS0+5JQiG52\njdy3r0AbqjeZAghJ3Abpf+bboFQue0iXCs5rhF2EqiwHgEYHmzchORnaSYDiaTDs\nJNn/97/ynsKb/u3xDjGp6BUUqgrevCJe6yOwU3EEOdOfBNljy7VRrVMJWY5gKAX/\n9YAGVepsrbWlXrjXKZI68vQttRKcdhl822BB2Ptt8LHfp2GwZrNBqB+HmW5AcWrn\nCqOJyXKAanE+B8AduyTFMRkHhJHcnKvkFwtEkZbeaYQAJpuusif2xP6BJD68zfA0\nqaTRVLdar13KylMOfQUjNHivcfYedhHc/V4AdG8Q2i4GG8kc07fY3vOvWH0bHN9I\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-23 00:00:00.000Z","summary":"

数理論理学・理論計算機科学・ソフトウェア工学を研究しています。時々哲学っぽいことも

#Logic #ComputerScience #SoftwareEngineering

","updated":"2026-04-06 08:06:50.868Z","user":"","username":"yoriyuki"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-08 00:42:25.396Z","domain":"mathstodon.xyz","followerCount":73,"followers":"https://mathstodon.xyz/users/yoriyuki/followers","following":"https://mathstodon.xyz/users/yoriyuki/following","followingCount":50,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/878/712/086/285/506/original/27c1e71e96f8102c.jpeg","id":"n25q3i4u8dbb94n","inbox":"https://mathstodon.xyz/users/yoriyuki/inbox","iri":"https://mathstodon.xyz/users/yoriyuki","isLocal":false,"last_fetched":"2026-04-06 08:06:50.899Z","outbox":"https://mathstodon.xyz/users/yoriyuki/outbox","preferred_username":"yoriyuki","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3lBifIgd28PdDmmRs1u4\nlF/U9axiVHMz3vrBPci6v0k09HNXl/cJIC68PW1C7iwMx84cXQRPKN95CgWBN60e\n4SCKNrr3GSVrhOJmUz0IdNFR1iganQG4V33mujC08VZdtmTc1P4mx39K+GgOBSjn\nVluvEcdcSBnNKH3gk745T+UKFfw9mX0fakEXGGnSJeII2cceKHaCW8PyHDQky6LG\n3SdjXkVF2W4RBxBdUOSPzP/n43AqdKIFtzFFzLUyweT20ifm9CxjaWCQnK1vptDT\n71vz1VG10EWVsDoFHXxkVP5KsAysaNEjA0kHNk/VZnVW3lSC87kHOfAJLf4AOBvS\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-17 00:00:00.000Z","summary":"

Associate Professor at the Department of Engineering, University of Fukui. Talk logic, mathematics, computer science and occasionally philosophy

","updated":"2026-04-06 08:06:50.899Z","user":"","username":"Yoriyuki Yamagata"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

mitsuo

Followers